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... | |
Set expressions and relations can be freely composed of variables with the usual connectives.
SetExpr Gecode::singleton | ( | const LinIntExpr & | e | ) |
Singleton expression.
Definition at line 691 of file set-expr.cpp.
SetExpr Gecode::operator- | ( | const SetExpr & | e | ) |
Complement expression.
Definition at line 683 of file set-expr.cpp.
Intersection of set expressions.
Definition at line 671 of file set-expr.cpp.
Union of set expressions.
Definition at line 675 of file set-expr.cpp.
Disjoint union of set expressions.
Definition at line 679 of file set-expr.cpp.
Difference of set expressions.
Definition at line 687 of file set-expr.cpp.
SetExpr Gecode::inter | ( | const SetVarArgs & | x | ) |
Intersection of set variables.
Definition at line 696 of file set-expr.cpp.
SetExpr Gecode::setunion | ( | const SetVarArgs & | x | ) |
Union of set variables.
Definition at line 705 of file set-expr.cpp.
SetExpr Gecode::setdunion | ( | const SetVarArgs & | x | ) |
Disjoint union of set variables.
Definition at line 714 of file set-expr.cpp.
LinIntExpr Gecode::cardinality | ( | const SetExpr & | e | ) |
Cardinality of set expression.
Definition at line 815 of file set-expr.cpp.
LinIntExpr Gecode::min | ( | const SetExpr & | e | ) |
Minimum element of set expression.
Definition at line 820 of file set-expr.cpp.
LinIntExpr Gecode::max | ( | const SetExpr & | e | ) |
Minimum element of set expression.
Definition at line 825 of file set-expr.cpp.
Equality of set expressions.
Definition at line 49 of file set-rel.cpp.
SetRel Gecode::operator!= | ( | const SetExpr & | e0, |
const SetExpr & | e1 | ||
) |
Disequality of set expressions.
Definition at line 53 of file set-rel.cpp.
Subset of set expressions.
Definition at line 57 of file set-rel.cpp.
Subset of set expressions.
Definition at line 61 of file set-rel.cpp.
Superset of set expressions.
Definition at line 65 of file set-rel.cpp.
Superset of set expressions.
Definition at line 69 of file set-rel.cpp.
Disjointness of set expressions.
Definition at line 73 of file set-rel.cpp.