
Go to the source code of this file.
Classes | |
| class | Gecode::Int::Relax |
| Class for posting equalities for non-relaxed variables. More... | |
Namespaces | |
| Gecode::Int | |
| Finite domain integers. | |
Functions | |
| 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) |
| 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 | ||
| ) |