38 namespace Gecode {
namespace Int {
namespace Branch {
98 return static_cast<double>(x.degree()) / static_cast<double>(x.size());
115 return x.afc(home) /
static_cast<double>(x.size());
133 :
MeritBase<
View,double>(home,vb), activity(vb.activity()) {}
144 return activity[
i] /
static_cast<double>(x.size());
154 activity.~Activity();
169 return x.regret_min();
184 return x.regret_max();
void update(int i)
Update activity value at position i.
double operator()(const Space &home, View x, int i)
Return size over activity as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
Activity activity
Activity information.
MeritMax(Space &home, const VarBranch &vb)
Constructor for initialization.
MeritAFCSize(Space &home, const VarBranch &vb)
Constructor for initialization.
unsigned int operator()(const Space &home, View x, int i)
Return size as merit for view x at position i.
Base-class for merit class.
Merit class for size over degree.
Merit class for size over activity.
void dispose(Space &home)
Dispose view selection.
Gecode::IntArgs i(4, 1, 2, 3, 4)
double operator()(const Space &home, View x, int i)
Return size over degree as merit for view x at position i.
Merit class for mimimum of integer views.
double operator()(const Space &home, View x, int i)
Return size over AFC as merit for view x at position i.
Merit class for minimum regret.
MeritActivitySize(Space &home, const VarBranch &vb)
Constructor for initialization.
Merit class for size over afc.
MeritDegreeSize(Space &home, const VarBranch &vb)
Constructor for initialization.
MeritRegretMax(Space &home, const VarBranch &vb)
Constructor for initialization.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
int operator()(const Space &home, View x, int i)
Return maximum as merit for view x at position i.
unsigned int operator()(const Space &home, View x, int i)
Return maximum regret as merit for view x at position i.
Merit class for maximum regret.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
void dispose(Space &home)
Dispose view selection.
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
unsigned int operator()(const Space &home, View x, int i)
Return minimum regret as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritSize(Space &home, const VarBranch &vb)
Constructor for initialization.
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
MeritRegretMin(Space &home, const VarBranch &vb)
Constructor for initialization.