79 int med = (u2.
min()+u2.
max()) / 2;
85 while (i >= u3.
width()) {
89 return u3.
min() +
static_cast<int>(i);
105 return i.min() +
static_cast<int>(p);
int val(const Space &home, View x, int i)
Return value of view x at position i.
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, View x, int i)
Return value of view x at position i.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, View x, int i)
Return value of view x at position i.
int val(const Space &home, View x, int i)
Return value of view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int max(void) const
Return largest value of range.
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Rnd r
The used random number generator.
Set view for set variables
Range iterator for the unknown set.
Value branching information.
ValSel(Space &home, const ValBranch< Var > &vb)
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x
#define GECODE_NEVER
Assert that this command is never executed.