42 namespace Gecode {
namespace Float {
namespace Branch {
90 return x.
size() /
static_cast<double>(x.
degree());
void update(int i)
Update activity value at position i.
double operator()(const Space &home, FloatView x, int i)
Return size over AFC as merit for view x at position i.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Merit class for size over activity.
FloatNum min(void) const
Return minimum of domain.
Merit class for size over afc.
double operator()(const Space &home, FloatView x, int i)
Return size over degree as merit for view x at position i.
Base-class for merit class.
void dispose(Space &home)
Dispose view selection.
Merit class for maximum of float view.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
Activity activity
Activity information.
Gecode::IntArgs i(4, 1, 2, 3, 4)
double operator()(const Space &home, FloatView x, int i)
Return size over activity 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.
double operator()(const Space &home, FloatView x, int i)
Return size as merit for view x at position i.
MeritDegreeSize(Space &home, const VarBranch &vb)
Constructor for initialization.
MeritActivitySize(Space &home, const VarBranch &vb)
Constructor for initialization.
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 maximum as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
~Activity(void)
Destructor.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Float view for float variables.
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
Variable branching information.
double afc(const Space &home) const
Return accumulated failure count.
Node * x
Pointer to corresponding Boolean expression node.
MeritSize(Space &home, const VarBranch &vb)
Constructor for initialization.
MeritAFCSize(Space &home, const VarBranch &vb)
Constructor for initialization.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
FloatNum max(void) const
Return maximum of domain.
Merit class for size over degree.
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
MeritMax(Space &home, const VarBranch &vb)
Constructor for initialization.
Merit class for size of float view.