Go to the source code of this file.
|
void | Gecode::dom (Home home, FloatVar x, FloatVal n) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum m) |
| Propagates . More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u) |
| Propagates for all . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatVal n, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r) |
| Post domain consistent propagator for . More...
|
|
void | Gecode::dom (Home home, FloatVar x, FloatVar d) |
| Constrain domain of x according to domain of d. More...
|
|
void | Gecode::dom (Home home, const FloatVarArgs &x, const FloatVarArgs &d) |
| Constrain domain of according to domain of for all . More...
|
|
◆ dom() [1/8]
Propagates
.
Definition at line 40 of file dom.cpp.
◆ dom() [2/8]
Propagates
for all
.
Definition at line 49 of file dom.cpp.
◆ dom() [3/8]
Propagates
.
Definition at line 60 of file dom.cpp.
◆ dom() [4/8]
Propagates
for all
.
Definition at line 71 of file dom.cpp.
◆ dom() [5/8]
Post domain consistent propagator for
.
Definition at line 84 of file dom.cpp.
◆ dom() [6/8]
Post domain consistent propagator for
.
Definition at line 106 of file dom.cpp.
◆ dom() [7/8]
Constrain domain of x according to domain of d.
Definition at line 126 of file dom.cpp.
◆ dom() [8/8]
Constrain domain of
according to domain of
for all
.
Definition at line 137 of file dom.cpp.