34namespace Gecode {
namespace Int {
namespace Branch {
40 : ValSel<View,int>(home,vb) {}
55 :
ValSel<View,int>(home,vb) {}
70 :
ValSel<View,int>(home,vb) {}
85 :
ValSel<View,int>(home,vb) {}
93 return (
x.width() == 2U) ?
x.min() : ((
x.min()+
x.max()) / 2);
100 :
ValSel<View,int>(home,vb),
r(vb.rnd()) {}
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);
int p
Number of positive literals for node type.
Value selection class for average of view.
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.
Value selection class for maximum of view.
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.
Value selection class for median of view.
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.
Value selection class for mimimum of view.
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.
Value selection class for maximum range of integer view.
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.
Value selection class for minimum range of integer view.
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.
Value selection class for random value of view.
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.
Integer view for integer variables.
Range iterator for integer views.
Value branching information.
Base class for value selection.
View::VarType Var
Corresponding variable type.
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.