59 if (
x.size() != sx.
size())
61 if ((p < 0.0) || (p > 1.0))
int size(void) const
Return size of array (number of elements)
FloatVal val(void) const
Return assigned value.
Exception: Arguments are of different size
Float view for float variables.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
Exception: Value out of limits
Class for posting equalities for non-relaxed variables.
ExecStatus operator()(Home home, FloatVar x, FloatVar sx)
Post the actual equality for non-relaxed variables.
Home class for posting propagators
bool me_failed(ModEvent me)
Check whether modification event me is failed.
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.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x