44 namespace Gecode {
namespace Set {
namespace Branch {
97 static_cast<double>(
x.
degree());
Merit class for AFC over size.
Merit class for maximum of set view.
double operator()(const Space &home, SetView x, int i)
Return AFC over size as merit for view x at position i.
double afc(void) const
Return accumulated failure count.
void dispose(Space &home)
Dispose view selection.
Range iterator for the unknown set.
void dispose(Space &home)
Dispose view selection.
union Gecode::@579::NNF::@61 u
Union depending on nodetype t.
Merit class for CHB Q-score over size.
double operator()(const Space &home, SetView x, int i)
Return CHB Q-score over size as merit for view x at position i.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void update(int i)
Update chb value at position i.
int operator()(const Space &home, SetView x, int i)
Return minimum as merit for view x at position i.
Base-class for merit class.
double operator()(const Space &home, SetView x, int i)
Return degree over size as merit for view x at position i.
const int max
Largest allowed integer in integer set.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Gecode::IntArgs i(4, 1, 2, 3, 4)
unsigned int unknownSize(void) const
Return number of unknown elements (elements in lub but not in glb)
void update(int i)
Update action value at position i.
Merit class for action over size.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, SetView x, int i)
Return action over size as merit for view x at position i.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Set view for set variables
void dispose(Space &home)
Dispose view selection.
Merit class for size of set view.
Variable branching information.
Action action
Action information.
int operator()(const Space &home, SetView x, int i)
Return maximum as merit for view x at position i.
Merit class for degree over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Post propagator for SetVar x
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
unsigned int operator()(const Space &home, SetView x, int i)
Return size as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for mimimum of set views.