Go to the documentation of this file.
38 namespace Gecode {
namespace Int {
namespace Branch {
74 :
MeritBase<View,unsigned int>(home,vb) {}
98 return static_cast<double>(
x.
degree()) /
static_cast<double>(
x.size());
115 return x.
afc() /
static_cast<double>(
x.size());
133 :
MeritBase<View,double>(home,vb), action(vb.action()) {}
144 return action[
i] /
static_cast<double>(
x.size());
162 :
MeritBase<View,double>(home,vb), chb(vb.chb()) {}
173 return chb[
i] /
static_cast<double>(
x.size());
190 :
MeritBase<View,unsigned int>(home,vb) {}
198 return x.regret_min();
205 :
MeritBase<View,unsigned int>(home,vb) {}
213 return x.regret_max();
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Post propagator for SetVar x
MeritRegretMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void update(int i)
Update chb value at position i.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for CHB over size.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Gecode::IntArgs i(4, 1, 2, 3, 4)
double operator()(const Space &home, View x, int i)
Return action over size as merit for view x at position i.
double operator()(const Space &home, View x, int i)
Return degree over size as merit for view x at position i.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return AFC over size as merit for view x at position i.
Variable branching information.
Gecode toplevel namespace
int operator()(const Space &home, View x, int i)
Return maximum as merit for view x at position i.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return size over action as merit for view x at position i.
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
Merit class for AFC over size.
Base-class for merit class.
Merit class for minimum regret.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritRegretMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
unsigned int operator()(const Space &home, View x, int i)
Return size as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
Merit class for mimimum of integer views.
Action action
Action information.
void dispose(Space &home)
Dispose view selection.
Merit class for maximum regret.
bool shared(const IntSet &, VX)
unsigned int operator()(const Space &home, View x, int i)
Return maximum regret as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void update(int i)
Update action value at position i.
unsigned int operator()(const Space &home, View x, int i)
Return minimum regret as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
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 action over size.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void update(Space &home, bool share, AFC &a)
Updating during cloning.
Merit class for degree over size.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.