(Revision: 11208)
Go to the source code of this file.
Namespaces |
namespace | Gecode |
| Gecode toplevel namespace
|
Functions |
SetRel | Gecode::operator== (const SetExpr &, const SetExpr &) |
| Equality of set expressions.
|
SetRel | Gecode::operator!= (const SetExpr &, const SetExpr &) |
| Disequality of set expressions.
|
SetCmpRel | Gecode::operator<= (const SetExpr &, const SetExpr &) |
| Subset of set expressions.
|
BoolExpr | Gecode::operator<= (const SetCmpRel &, const SetExpr &) |
| Subset of set expressions.
|
SetCmpRel | Gecode::operator>= (const SetExpr &, const SetExpr &) |
| Superset of set expressions.
|
BoolExpr | Gecode::operator>= (const SetCmpRel &, const SetExpr &) |
| Superset of set expressions.
|
SetRel | Gecode::operator|| (const SetExpr &, const SetExpr &) |
| Disjointness of set expressions.
|