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);
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
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 variable views
Range iterator for integer views.
Value branching information.
Base class for value selection.
View::VarType Var
Corresponding variable type.
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i({1, 2, 3, 4})
#define GECODE_NEVER
Assert that this command is never executed.