40 namespace Gecode {
namespace Set {
namespace Branch {
79 int med = (u2.
min()+u2.
max()) / 2;
89 return u3.
min() +
static_cast<int>(
i);
105 return i.min() +
static_cast<int>(
p);
int p
Number of positive literals for node type.
union Gecode::@602::NNF::@65 u
Union depending on nodetype t.
Node * x
Pointer to corresponding Boolean expression node.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int max(void) const
Return largest value of range.
Value selection class for maximum of view.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for median of view.
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Value selection class for mimimum of view.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Value selection class for random value of view.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Rnd r
The used random number generator.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
void dispose(Space &home)
Delete value selection.
Set view for set variables
Range iterator for the unknown set.
Value branching information.
Base class for value selection.
const FloatNum max
Largest allowed float value.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode::IntArgs i({1, 2, 3, 4})
#define GECODE_NEVER
Assert that this command is never executed.