#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 . 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...
|
|
◆ dom() [1/8]
BoolExpr Gecode::dom |
( |
const IntVar & |
x, |
|
|
int |
n |
|
) |
| |
Return expression for
.
Definition at line 164 of file dom.cpp.
◆ dom() [2/8]
BoolExpr Gecode::dom |
( |
const IntVar & |
x, |
|
|
int |
l, |
|
|
int |
u |
|
) |
| |
Return expression for
.
Definition at line 169 of file dom.cpp.
◆ dom() [3/8]
Return expression for
.
Definition at line 174 of file dom.cpp.
◆ dom() [4/8]
Return expression for
.
Definition at line 180 of file dom.cpp.
◆ dom() [5/8]
Return expression for
.
Definition at line 185 of file dom.cpp.
◆ dom() [6/8]
Return expression for
.
Definition at line 190 of file dom.cpp.
◆ dom() [7/8]
Return expression for
.
Definition at line 197 of file dom.cpp.
◆ dom() [8/8]
Return expression for
.
Definition at line 202 of file dom.cpp.