64 if (
x.size() != sx.
size())
66 if ((p < 0.0) || (p > 1.0))
int size(void) const
Return size of array (number of elements)
Home class for posting propagators
Exception: Arguments are of different size
Exception: Value out of limits
Class for posting equalities for non-relaxed variables.
ExecStatus operator()(Home home, IntVar x, IntVar sx)
Post the actual equality for non-relaxed variables.
Iterator for the greatest lower bound ranges of a set variable.
Iterator for the least upper bound ranges of a set variable.
ExecStatus operator()(Home home, SetVar x, SetVar sx)
Post the actual equality for non-relaxed variables.
Set view for set variables
ModEvent intersectI(Space &home, I &iter)
Intersect least upper bound with range sequence described by i.
ModEvent includeI(Space &home, I &i)
Include range sequence described by i in greatest lower bound.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
void relax(Home home, const VarArgs &x, const VarArgs &sx, Rnd r, double p, Post &post)
Relax variables in x from solution sx with probability p.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
GECODE_FLOAT_EXPORT void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
@ ES_OK
Execution is okay.
Post propagator for SetVar x