|
BoolExpr | Gecode::dom (const IntVar &x, int n) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const IntVar &x, int l, int m) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const IntVar &x, const IntSet &s) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i, int j) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, const IntSet &s) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const FloatVar &x, const FloatVal &n) |
| Return expression for . More...
|
|
BoolExpr | Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u) |
| Return expression for . More...
|
|