74 unsigned int width(
void)
const;
void operator++(void)
Move iterator to next range (if possible)
bool operator()(void) const
Test whether iterator is still at a range or done.
void init(const Gecode::RangeList *s)
Initialize with range list s.
const Gecode::RangeList * c
Current range.
RangeList(void)
Default constructor.
int max(void) const
Return largest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int min(void) const
Return smallest value of range.
Lists of ranges (intervals)
Range and value iterators.
Gecode toplevel namespace