40namespace Gecode {
namespace Set {
namespace Branch {
92 static_cast<double>(
x.
degree());
union Gecode::@603::NNF::@65 u
Union depending on nodetype t.
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, View 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.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritActionSize(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.
void dispose(Space &home)
Dispose view selection.
void dispose(Space &home)
Dispose view selection.
double operator()(const Space &home, View x, int i)
Return size over action as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View 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.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, View x, int i)
Return maximum as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
MeritSize(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.
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.
Merit class for action over size.
Action action
Action information.
Merit class for CHB Q-score over size.
Merit class for degree over size.
Merit class for maximum of set view.
Merit class for mimimum of set views.
Merit class for size of set view.
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