40namespace Gecode {
namespace Set {
namespace Branch {
92 static_cast<double>(
x.
degree());
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
Base-class for merit class.
unsigned int unknownSize(void) const
Return number of unknown elements (elements in lub but not in glb)
Merit class for AFC over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, SetView x, int i)
Return AFC over size as merit for view x at position i.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Dispose view selection.
Merit class for action over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
Action action
Action information.
MeritActionSize(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.
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.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for degree over size.
double operator()(const Space &home, SetView x, int i)
Return degree over size as merit for view x at position i.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for maximum of set view.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, SetView x, int i)
Return maximum as merit for view x at position i.
Merit class for mimimum of set views.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, SetView x, int i)
Return minimum as merit for view x at position i.
Merit class for size of set view.
MeritSize(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.
Set view for set variables
Range iterator for the unknown set.
Variable branching information.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
double afc(void) const
Return accumulated failure count.
const int max
Largest allowed integer in integer set.
Gecode toplevel namespace
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x
Gecode::IntArgs i({1, 2, 3, 4})