
Go to the source code of this file.
Classes | |
| class | Gecode::Int::Relax |
| Class for posting equalities for non-relaxed variables. More... | |
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
| namespace | Gecode::Int |
| Finite domain integers. | |
Functions | |
| GECODE_INT_EXPORT void | Gecode::relax (Home home, const IntVarArgs &x, const IntVarArgs &sx, Rnd r, double p) |
| void | Gecode::relax (Home home, const BoolVarArgs &x, const BoolVarArgs &sx, Rnd r, double p) |