40 : ValSel<View,int>(home,vb) {}
93 return (
x.width() == 2U) ?
x.min() : ((
x.min()+
x.max()) / 2);
109 unsigned int p =
r(
x.size());
112 return i.min() +
static_cast<int>(p);
139 return (
x.width() == 2) ?
x.min() : (
x.min() + (
x.max()-
x.min())/2);
155 return (
x.width() == 2) ?
x.max() : (
x.max() - (
x.max()-
x.min())/2);
ValSelAvg(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.
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, IntView x, int i)
Return value of integer view x at position i.
ValSelRangeMax(Space &home, const ValBranch< IntVar > &vb)
Constructor for initialization.
int val(const Space &home, IntView x, int i)
Return value of integer view x at position i.
ValSelRangeMin(Space &home, const ValBranch< IntVar > &vb)
Constructor for initialization.
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)
Rnd r
The used random number generator.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Integer view for integer variables.
Range iterator for integer views.
Value branching information.
Base class for value selection.
ValSel(Space &home, const ValBranch< Var > &vb)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(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.