|
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...
|
|