34 namespace Gecode {
namespace Int {
namespace Branch {
93 return static_cast<double>(x.degree()) / static_cast<double>(x.size());
108 return x.afc() /
static_cast<double>(x.size());
135 return action[
i] /
static_cast<double>(x.size());
161 return chb[
i] /
static_cast<double>(x.size());
186 return x.regret_min();
201 return x.regret_max();
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Action action
Action information.
MeritRegretMax(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.
Merit class for CHB over size.
MeritMax(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.
Base-class for merit class.
Merit class for degree over size.
void dispose(Space &home)
Dispose view selection.
void dispose(Space &home)
Dispose view selection.
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Merit class for action over size.
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.
Merit class for mimimum of integer views.
double operator()(const Space &home, View x, int i)
Return AFC over size as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Merit class for minimum regret.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritRegretMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Dispose view selection.
Merit class for AFC over size.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Variable branching information.
MeritActionSize(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.
unsigned int operator()(const Space &home, View x, int i)
Return maximum regret as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for maximum regret.
Post propagator for SetVar x
Gecode toplevel namespace
double operator()(const Space &home, View x, int i)
Return size over action as merit for view x at position i.
unsigned int operator()(const Space &home, View x, int i)
Return minimum regret as merit for view x at position i.
MeritSize(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.