44 namespace Gecode {
namespace Set {
namespace Branch {
83 return x.unknownSize();
96 return static_cast<double>(
x.unknownSize()) /
97 static_cast<double>(
x.degree());
111 return static_cast<double>(
x.unknownSize()) /
x.afc(home);
135 return activity[
i] / static_cast<double>(
x.unknownSize());
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.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
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.
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.
Set view for set variables
Merit class for size of set view.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
union Gecode::@511::NNF::@54 u
Union depending on nodetype t.
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.