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