Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
Functions | |
| BoolVar | Gecode::channel (Home home, IntVar x, IntPropLevel ipl=IPL_DEF) |
| Return Boolean variable equal to \(x\). | |
| IntVar | Gecode::channel (Home home, BoolVar b, IntPropLevel ipl=IPL_DEF) |
| Return integer variable equal to \(b\). | |
| IntVar | Gecode::channel (Home home, FloatVar f) |
| Return integer variable equal to \(f\). | |
| SetVar | Gecode::channel (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
| Return set variable equal to \(\{x_0,\dots,x_{n-1}\}\). | |