44 namespace Gecode {
namespace Set {
namespace Branch {
97 static_cast<double>(x.
degree());
void update(int i)
Update activity value at position i.
Merit class for size over afc.
Merit class for maximum of set view.
double operator()(const Space &home, SetView x, int i)
Return size over AFC as merit for view x at position i.
MeritMax(Space &home, const VarBranch &vb)
Constructor for initialization.
void dispose(Space &home)
Dispose view selection.
Range iterator for the unknown set.
void dispose(Space &home)
Dispose view selection.
unsigned int unknownSize(void) const
Return the number of unknown elements.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
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 size over degree as merit for view x at position i.
const int max
Largest allowed integer in integer set.
unsigned int degree(void) const
Return degree (number of subscribed propagators and advisors)
int min(void) const
Return smallest value of range.
MeritDegreeSize(Space &home, const VarBranch &vb)
Constructor for initialization.
Merit class for size over activity.
Gecode::IntArgs i(4, 1, 2, 3, 4)
MeritSize(Space &home, const VarBranch &vb)
Constructor for initialization.
double operator()(const Space &home, SetView x, int i)
Return size over activity as merit for view x at position i.
MeritActivitySize(Space &home, const VarBranch &vb)
Constructor for initialization.
~Activity(void)
Destructor.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
union Gecode::@518::NNF::@57 u
Union depending on nodetype t.
Set view for set variables
Merit class for size of set view.
Variable branching information.
double afc(const Space &home) const
Return accumulated failure count.
Node * x
Pointer to corresponding Boolean expression node.
int operator()(const Space &home, SetView x, int i)
Return maximum as merit for view x at position i.
Merit class for size over degree.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
unsigned int operator()(const Space &home, SetView x, int i)
Return size as merit for view x at position i.
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
MeritAFCSize(Space &home, const VarBranch &vb)
Constructor for initialization.
Activity activity
Activity information.
Merit class for mimimum of set views.