37 namespace Gecode {
namespace Int {
67 if (
x.size() != sx.
size())
69 if ((
p < 0.0) || (
p > 1.0))
72 Search::relax<IntVarArgs,Int::Relax>(home,
x,sx,
r,
p,ir);
78 if (
x.size() != sx.
size())
80 if ((
p < 0.0) || (
p > 1.0))
83 Search::relax<BoolVarArgs,Int::Relax>(home,
x,sx,
r,
p,ir);
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
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.
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
bool me_failed(ModEvent me)
Check whether modification event me is failed.