111 : iter(s.varimp()) {}
138 : iter(s.varimp()) {}
void operator++(void)
Move iterator to next value (if possible)
unsigned int cardMax(void) const
Return cardinality maximum.
bool operator()(void) const
Test whether iterator is still at a range or done.
int val(void) const
Return current value.
Variables as interfaces to variable implementations.
int min(void) const
Return smallest value of range.
int min(void) const
Return smallest value of range.
int glbMin(void) const
Return minimum of the greatest lower bound.
int glbMax(void) const
Return maximum of greatest lower bound.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int max(void) const
Return largest value of range.
unsigned int lubSize(void) const
Return number of elements in the least upper bound.
Finite integer set variable implementation.
bool contains(int i) const
Test whether i is in greatest lower bound.
unsigned int unknownSize(void) const
Return number of unknown elements (elements in lub but not in glb)
bool operator()(void) const
Test whether iterator is still at a value or done.
unsigned int cardMin(void) const
Return cardinality minimum.
unsigned int glbSize(void) const
Return number of elements in the greatest lower bound.
int glbMax(void) const
Return maximum of the greatest lower bound.
Iterator for the unknown ranges of a set variable.
int val(void) const
Return current value.
int lubMax(void) const
Return maximum of the least upper bound.
SetVarLubRanges(void)
Default constructor.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int max(void) const
Return largest value of range.
unsigned int cardMax(void) const
Return current cardinality maximum.
unsigned int cardMin(void) const
Return current cardinality minimum.
int val(void) const
Return current value.
int lubMax(void) const
Return maximum element of least upper bound.
Set::SetVarImp * x
Pointer to variable implementation.
Iterator for the greatest lower bound ranges of a set variable.
bool notContains(int i) const
Test whether i is not in the least upper bound.
bool knownOut(int) const
Test whether n is not contained in least upper bound.
Iterator for the least upper bound ranges of a set variable.
void operator++(void)
Move iterator to next value (if possible)
bool knownIn(int n) const
Test whether n is contained in greatest lower bound.
SetVarLubValues(void)
Default constructor.
Set view for set variables
bool operator()(void) const
Test whether iterator is still at a value or done.
void operator++(void)
Move iterator to next range (if possible)
Node * x
Pointer to corresponding Boolean expression node.
unsigned int lubSize(void) const
Return the size of the least upper bound.
SetVarUnknownValues(void)
Default constructor.
void operator++(void)
Move iterator to next range (if possible)
int lubMin(void) const
Return minimum element of least upper bound.
bool operator()(void) const
Test whether iterator is still at a range or done.
int lubMin(void) const
Return minimum of the least upper bound.
bool operator()(void) const
Test whether iterator is still at a range or done.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
unsigned int glbSize(void) const
Return the size of the greatest lower bound.
SetVarUnknownRanges(void)
Default constructor.
int min(void) const
Return smallest value of range.
void operator++(void)
Move iterator to next range (if possible)
Gecode toplevel namespace
void operator++(void)
Move iterator to next value (if possible)
bool operator()(void) const
Test whether iterator is still at a value or done.
SetVarGlbRanges(void)
Default constructor.
SetVar(void)
Default constructor.
VarImp * varimp(void) const
Return variable implementation of variable.
SetVarGlbValues(void)
Default constructor.
int glbMin(void) const
Return minimum element of greatest lower bound.
int max(void) const
Return largest value of range.