37namespace Gecode {
namespace Float {
59 if (
x.size() != sx.
size())
61 if ((
p < 0.0) || (
p > 1.0))
int p
Number of positive literals for node type.
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