34namespace Gecode {
namespace Int {
namespace Branch {
40 : ValSel<View,int>(home,vb) {}
44 :
ValSel<View,int>(home,vs) {}
55 :
ValSel<View,int>(home,vb) {}
59 :
ValSel<View,int>(home,vs) {}
70 :
ValSel<View,int>(home,vb) {}
74 :
ValSel<View,int>(home,vs) {}
85 :
ValSel<View,int>(home,vb) {}
89 :
ValSel<View,int>(home,vs) {}
93 return (
x.width() == 2U) ?
x.min() : ((
x.min()+
x.max()) / 2);
100 :
ValSel<View,int>(home,vb),
r(vb.rnd()) {}
104 :
ValSel<View,int>(home,vs),
r(vs.
r) {
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.
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.