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