44 namespace Gecode {
namespace Set {
namespace Branch {
83 int med = (u2.
min()+u2.
max()) / 2;
89 while (i >= u3.
width()) {
93 return u3.
min() +
static_cast<int>(
i);
110 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.
int max(void) const
Return largest value of range.
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.
ValSelMax(Space &home, const ValBranch &vb)
Constructor for initialization.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
ValSelMed(Space &home, const ValBranch &vb)
Constructor for initialization.
int min(void) const
Return smallest 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::@518::NNF::@57 u
Union depending on nodetype t.
Set view for set variables
void update(Space &home, bool share, SharedHandle &sh)
Updating during cloning.
Value branching information.
Node * x
Pointer to corresponding Boolean expression node.
ValSelRnd(Space &home, const ValBranch &vb)
Constructor for initialization.
Value selection class for maximum of view.
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.
Gecode toplevel namespace
#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.
ValSelMin(Space &home, const ValBranch &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Rnd r
The used random number generator.
Base class for value selection.