38namespace Gecode {
namespace Float {
namespace Branch {
86 return x.size() /
static_cast<double>(
x.
degree());
98 return x.
afc() /
static_cast<double>(
x.size());
121 return action[i] /
static_cast<double>(
x.size());
144 return chb[i] /
static_cast<double>(
x.size());
Merit class for AFC over size.
double operator()(const Space &home, FloatView x, int i)
Return AFC over size as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for action over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
Action action
Action information.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return action over size as merit for view x at position i.
Merit class for CHB Q-score over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
double operator()(const Space &home, FloatView x, int i)
Return CHB Q-score over size as merit for view x at position i.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for degree over size.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return degree over size as merit for view x at position i.
Merit class for maximum of float view.
double operator()(const Space &home, FloatView x, int i)
Return maximum as merit for view x at position i.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return minimum as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for size of float view.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return size as merit for view x at position i.
Float view for float variables.
Base-class for merit class.
Variable branching information.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
double afc(void) const
Return accumulated failure count.
Gecode toplevel namespace
Post propagator for SetVar x