37namespace Gecode {
namespace Int {
67 if (
x.size() != sx.
size())
69 if ((
p < 0.0) || (
p > 1.0))
78 if (
x.size() != sx.
size())
80 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)
Passing Boolean variables.
Boolean integer variables.
int val(void) const
Return assigned value.
Home class for posting propagators
Passing integer variables.
int val(void) const
Return assigned value.
Exception: Arguments are of different size
Boolean view for Boolean variables.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
Integer view for integer 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, IntVar x, IntVar sx)
Post the actual equality for non-relaxed variables.
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