#include <gecode/minimodel.hh>
#include <cstddef>
#include <tuple>
#include <utility>
Go to the source code of this file.
|
| BoolExpr | Gecode::dom (const IntVar &x, int n) |
| | Return expression for \( x=n\).
|
| BoolExpr | Gecode::dom (const IntVar &x, int l, int m) |
| | Return expression for \( l\leq x \leq m\).
|
| BoolExpr | Gecode::dom (const IntVar &x, const IntSet &s) |
| | Return expression for \( x \in s\).
|
| BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i) |
| | Return expression for \( x \sim_{rt} \{i\}\).
|
| BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, int i, int j) |
| | Return expression for \( x \sim_{rt} \{i,\dots,j\}\).
|
| BoolExpr | Gecode::dom (const SetVar &x, SetRelType rt, const IntSet &s) |
| | Return expression for \( x \sim_{rt} s\).
|
| BoolExpr | Gecode::dom (const FloatVar &x, const FloatVal &n) |
| | Return expression for \( x=n\).
|
| BoolExpr | Gecode::dom (const FloatVar &x, FloatNum l, FloatNum u) |
| | Return expression for \( l\leq x \leq u\).
|
