41 namespace Gecode {
namespace Int {
73 if ((p < 0.0) || (p > 1.0))
76 Search::relax<IntVarArgs,Int::Relax>(home,
x,sx,
r,
p,ir);
84 if ((p < 0.0) || (p > 1.0))
87 Search::relax<BoolVarArgs,Int::Relax>(home,
x,sx,
r,
p,ir);
Exception: Value out of limits
int size(void) const
Return size of array (number of elements)
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ExecStatus operator()(Home home, IntVar x, IntVar sx)
Post the actual equality for non-relaxed variables.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int p
Number of positive literals for node type.
Execution has resulted in failure.
int val(void) const
Return assigned value.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
Integer view for integer variables.
Class for posting equalities for non-relaxed variables.
void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Home class for posting propagators
Exception: Arguments are of different size
bool me_failed(ModEvent me)
Check whether modification event me is failed.
int val(void) const
Return assigned value.
Boolean view for Boolean variables.