40 namespace Gecode {
namespace Set {
namespace Branch {
79 int med = (u2.
min()+u2.
max()) / 2;
85 while (i >= u3.
width()) {
89 return u3.
min() +
static_cast<int>(
i);
105 return i.min() +
static_cast<int>(
p);
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Range iterator for the unknown set.
Value selection class for median of view.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Value selection class for mimimum of view.
int max(void) const
Return largest value of range.
int p
Number of positive literals for node type.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
Gecode::IntArgs i(4, 1, 2, 3, 4)
unsigned int size(I &i)
Size of all ranges of range iterator i.
union Gecode::@585::NNF::@62 u
Union depending on nodetype t.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Post propagator for SetVar SetOpType SetVar SetRelType r
Set view for set variables
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value branching information.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Post propagator for SetVar x
Value selection class for maximum of view.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Gecode toplevel namespace
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
#define GECODE_NEVER
Assert that this command is never executed.
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.
void dispose(Space &home)
Delete value selection.
Rnd r
The used random number generator.
Base class for value selection.