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