Generated on Tue Jun 4 2019 05:23:33 for Gecode by doxygen 1.8.15

Functions

SetExpr Gecode::singleton (const LinIntExpr &)
 Singleton expression. More...
 
SetExpr Gecode::operator - (const SetExpr &)
 Complement expression. More...
 
SetExpr Gecode::operator & (const SetExpr &, const SetExpr &)
 Intersection of set expressions. More...
 
SetExpr Gecode::operator| (const SetExpr &, const SetExpr &)
 Union of set expressions. More...
 
SetExpr Gecode::operator+ (const SetExpr &, const SetExpr &)
 Disjoint union of set expressions. More...
 
SetExpr Gecode::operator - (const SetExpr &, const SetExpr &)
 Difference of set expressions. More...
 
SetExpr Gecode::inter (const SetVarArgs &)
 Intersection of set variables. More...
 
SetExpr Gecode::setunion (const SetVarArgs &)
 Union of set variables. More...
 
SetExpr Gecode::setdunion (const SetVarArgs &)
 Disjoint union of set variables. More...
 
LinIntExpr Gecode::cardinality (const SetExpr &)
 Cardinality of set expression. More...
 
LinIntExpr Gecode::min (const SetExpr &)
 Minimum element of set expression. More...
 
LinIntExpr Gecode::max (const SetExpr &)
 Minimum element of set expression. More...
 
SetRel Gecode::operator== (const SetExpr &, const SetExpr &)
 Equality of set expressions. More...
 
SetRel Gecode::operator != (const SetExpr &, const SetExpr &)
 Disequality of set expressions. More...
 
SetCmpRel Gecode::operator<= (const SetExpr &, const SetExpr &)
 Subset of set expressions. More...
 
BoolExpr Gecode::operator<= (const SetCmpRel &, const SetExpr &)
 Subset of set expressions. More...
 
SetCmpRel Gecode::operator >= (const SetExpr &, const SetExpr &)
 Superset of set expressions. More...
 
BoolExpr Gecode::operator >= (const SetCmpRel &, const SetExpr &)
 Superset of set expressions. More...
 
SetRel Gecode::operator|| (const SetExpr &, const SetExpr &)
 Disjointness of set expressions. More...
 

Detailed Description

Set expressions and relations can be freely composed of variables with the usual connectives.

Function Documentation

◆ singleton()

SetExpr Gecode::singleton ( const LinIntExpr e)

Singleton expression.

Definition at line 676 of file set-expr.cpp.

◆ operator -() [1/2]

SetExpr Gecode::operator - ( const SetExpr e)

Complement expression.

Definition at line 668 of file set-expr.cpp.

◆ operator &()

SetExpr Gecode::operator & ( const SetExpr l,
const SetExpr r 
)

Intersection of set expressions.

Definition at line 656 of file set-expr.cpp.

◆ operator|()

SetExpr Gecode::operator| ( const SetExpr l,
const SetExpr r 
)

Union of set expressions.

Definition at line 660 of file set-expr.cpp.

◆ operator+()

SetExpr Gecode::operator+ ( const SetExpr l,
const SetExpr r 
)

Disjoint union of set expressions.

Definition at line 664 of file set-expr.cpp.

◆ operator -() [2/2]

SetExpr Gecode::operator - ( const SetExpr l,
const SetExpr r 
)

Difference of set expressions.

Definition at line 672 of file set-expr.cpp.

◆ inter()

SetExpr Gecode::inter ( const SetVarArgs x)

Intersection of set variables.

Definition at line 681 of file set-expr.cpp.

◆ setunion()

SetExpr Gecode::setunion ( const SetVarArgs x)

Union of set variables.

Definition at line 690 of file set-expr.cpp.

◆ setdunion()

SetExpr Gecode::setdunion ( const SetVarArgs x)

Disjoint union of set variables.

Definition at line 699 of file set-expr.cpp.

◆ cardinality()

LinIntExpr Gecode::cardinality ( const SetExpr e)

Cardinality of set expression.

Definition at line 800 of file set-expr.cpp.

◆ min()

LinIntExpr Gecode::min ( const SetExpr e)

Minimum element of set expression.

Definition at line 805 of file set-expr.cpp.

◆ max()

LinIntExpr Gecode::max ( const SetExpr e)

Minimum element of set expression.

Definition at line 810 of file set-expr.cpp.

◆ operator==()

SetRel Gecode::operator== ( const SetExpr e0,
const SetExpr e1 
)

Equality of set expressions.

Definition at line 49 of file set-rel.cpp.

◆ operator !=()

SetRel Gecode::operator != ( const SetExpr e0,
const SetExpr e1 
)

Disequality of set expressions.

Definition at line 53 of file set-rel.cpp.

◆ operator<=() [1/2]

SetCmpRel Gecode::operator<= ( const SetExpr e0,
const SetExpr e1 
)

Subset of set expressions.

Definition at line 57 of file set-rel.cpp.

◆ operator<=() [2/2]

BoolExpr Gecode::operator<= ( const SetCmpRel r,
const SetExpr l 
)

Subset of set expressions.

Definition at line 61 of file set-rel.cpp.

◆ operator >=() [1/2]

SetCmpRel Gecode::operator >= ( const SetExpr e0,
const SetExpr e1 
)

Superset of set expressions.

Definition at line 65 of file set-rel.cpp.

◆ operator >=() [2/2]

BoolExpr Gecode::operator >= ( const SetCmpRel r,
const SetExpr l 
)

Superset of set expressions.

Definition at line 69 of file set-rel.cpp.

◆ operator||()

SetRel Gecode::operator|| ( const SetExpr e0,
const SetExpr e1 
)

Disjointness of set expressions.

Definition at line 73 of file set-rel.cpp.