Go to the documentation of this file.
38 namespace 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());
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
Post propagator for SetVar x
double operator()(const Space &home, FloatView x, int i)
Return degree over size as merit for view x at position i.
double operator()(const Space &home, FloatView x, int i)
Return minimum 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 degree over size.
void dispose(Space &home)
Dispose view selection.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Variable branching information.
Gecode toplevel namespace
Merit class for action over size.
double operator()(const Space &home, FloatView x, int i)
Return action over size as merit for view x at position i.
Float view for float variables.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Dispose view selection.
Base-class for merit class.
Merit class for size of float view.
double operator()(const Space &home, FloatView x, int i)
Return size as merit for view x at position i.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for AFC over size.
void dispose(Space &home)
Dispose view selection.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return CHB Q-score over size as merit for view x at position i.
Merit class for maximum of float view.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return maximum as merit for view x at position i.
Gecode::IntArgs i({1, 2, 3, 4})
double afc(void) const
Return accumulated failure count.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, FloatView x, int i)
Return AFC over size as merit for view x at position i.
Merit class for CHB Q-score over size.
Action action
Action information.