40 namespace Gecode {
namespace Set {
namespace Branch {
79 return x.unknownSize();
91 return static_cast<double>(
x.unknownSize()) /
92 static_cast<double>(
x.degree());
104 return x.afc() /
static_cast<double>(
x.unknownSize());
125 return action[
i] /
static_cast<double>(
x.unknownSize());
146 return chb[
i] /
static_cast<double>(
x.unknownSize());
union Gecode::@602::NNF::@65 u
Union depending on nodetype t.
Node * x
Pointer to corresponding Boolean expression node.
Base-class for merit class.
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.
const FloatNum max
Largest allowed float value.
const int max
Largest allowed integer in integer set.
Gecode::IntArgs i({1, 2, 3, 4})