42 namespace Gecode {
namespace Float {
namespace Branch {
90 return x.size() /
static_cast<double>(
x.
degree());
104 return x.
afc() /
static_cast<double>(
x.size());
128 return action[
i] /
static_cast<double>(
x.size());
153 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.
double afc(void) const
Return accumulated failure count.
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.
void update(int i)
Update chb value at position i.
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
double operator()(const Space &home, FloatView x, int i)
Return minimum as merit for view x at position i.
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.
void update(int i)
Update action value at position i.
Merit class for CHB Q-score over size.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
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.
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
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Merit class for degree over size.
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
Action action
Action information.
Merit class for action over size.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for size of float view.