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