(Revision: 11553)
Go to the source code of this file.
Functions |
SetExpr | Gecode::operator& (const SetExpr &, const SetExpr &) |
| Intersection of set expressions.
|
SetExpr | Gecode::operator| (const SetExpr &, const SetExpr &) |
| Union of set expressions.
|
SetExpr | Gecode::operator+ (const SetExpr &, const SetExpr &) |
| Disjoint union of set expressions.
|
SetExpr | Gecode::operator- (const SetExpr &) |
| Complement expression.
|
SetExpr | Gecode::operator- (const SetExpr &, const SetExpr &) |
| Difference of set expressions.
|
SetExpr | Gecode::singleton (const LinExpr &) |
| Singleton expression.
|
SetExpr | Gecode::inter (const SetVarArgs &) |
| Intersection of set variables.
|
SetExpr | Gecode::setunion (const SetVarArgs &) |
| Union of set variables.
|
SetExpr | Gecode::setdunion (const SetVarArgs &) |
| Disjoint union of set variables.
|
LinExpr | Gecode::cardinality (const SetExpr &) |
| Cardinality of set expression.
|
LinExpr | Gecode::min (const SetExpr &) |
| Minimum element of set expression.
|
LinExpr | Gecode::max (const SetExpr &) |
| Minimum element of set expression.
|
SetVar | Gecode::expr (Home home, const SetExpr &e) |
| Post set expression and return its value.
|