|
| void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1) |
| | Post propagator for . More...
|
| |
| void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c) |
| | Propagates . More...
|
| |
| void | Gecode::rel (Home home, FloatVar x, FloatRelType frt, FloatVal c, Reify r) |
| | Post propagator for . More...
|
| |
| void | Gecode::rel (Home home, FloatVar x0, FloatRelType frt, FloatVar x1, Reify r) |
| | Post propagator for . More...
|
| |
| void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVal c) |
| | Propagates for all . More...
|
| |
| void | Gecode::rel (Home home, const FloatVarArgs &x, FloatRelType frt, FloatVar y) |
| | Propagates for all . More...
|
| |
| void | Gecode::ite (Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z) |
| | Post propagator for if-then-else constraint. More...
|
| |