Go to the documentation of this file.
34 namespace 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);
Post propagator for SetVar x
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for random value of view.
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Base class for value selection.
Value selection class for maximum of view.
ValSelAvg(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
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.
View::VarType Var
Corresponding variable type.
Gecode toplevel namespace
Range iterator for integer views.
Value selection class for maximum range of integer view.
void dispose(Space &home)
Delete value selection.
Value selection class for median of view.
Post propagator for SetVar SetOpType SetVar SetRelType r
Value branching information.
#define GECODE_NEVER
Assert that this command is never executed.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for average of view.
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, IntView x, int i)
Return value of integer view x at position i.
Integer view for integer variables.
Range iterator for integer variable views
int val(const Space &home, View x, int i)
Return value of view x at position i.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
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.
Value selection class for minimum range of integer view.
int val(const Space &home, View x, int i)
Return value of view x at position i.
Gecode::IntArgs i({1, 2, 3, 4})
int val(const Space &home, View x, int i)
Return value of view x at position i.
int p
Number of positive literals for node type.
Value selection class for mimimum of view.
ValSelRangeMin(Space &home, const ValBranch< IntVar > &vb)
Constructor for initialization.