79 return x.unknownSize();
91 return static_cast<double>(
x.unknownSize()) /
92 static_cast<double>(
x.degree());
104 return x.afc() /
static_cast<double>(
x.unknownSize());
125 return action[i] /
static_cast<double>(
x.unknownSize());
146 return chb[i] /
static_cast<double>(
x.unknownSize());
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, View x, int i)
Return AFC over size as merit for view x at position i.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return action over size as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
void dispose(Space &home)
Dispose view selection.
double operator()(const Space &home, View x, int i)
Return size over action as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return degree over size as merit for view x at position i.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, View x, int i)
Return maximum as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
unsigned int operator()(const Space &home, View x, int i)
Return size as merit for view x at position i.
int min(void) const
Return smallest value of range.
MeritBase(Space &home, const VarBranch< Var > &vb)
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Action action
Action information.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Set view for set variables
Range iterator for the unknown set.
Variable branching information.
const int max
Largest allowed integer in integer set.
Gecode toplevel namespace
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x