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