Go to the documentation of this file.
34 namespace Gecode {
namespace Int {
namespace Branch {
73 :
MeritBase<View,unsigned int>(home,vb) {}
97 return static_cast<double>(
x.
degree()) / static_cast<double>(
x.size());
113 return x.
afc() / static_cast<double>(
x.size());
132 :
MeritBase<View,double>(home,vb), action(vb.action()) {}
136 :
MeritBase<View,double>(home,m), action(m.action) {}
140 return action[
i] / static_cast<double>(
x.size());
158 :
MeritBase<View,double>(home,vb), chb(vb.chb()) {}
162 :
MeritBase<View,double>(home,m), chb(m.chb) {}
166 return chb[
i] / static_cast<double>(
x.size());
184 :
MeritBase<View,unsigned int>(home,vb) {}
188 :
MeritBase<View,unsigned int>(home,m) {}
192 return x.regret_min();
200 :
MeritBase<View,unsigned int>(home,vb) {}
204 :
MeritBase<View,unsigned int>(home,m) {}
208 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.
View::VarType Var
Corresponding variable type.
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.
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.
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.
void dispose(Space &home)
Dispose view selection.
Merit class for maximum regret.
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.
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.
Gecode::IntArgs i({1, 2, 3, 4})
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.
Merit class for degree over size.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.