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 | ||
) |