I i
Iterator to which the range is to be added.
int r_max
Maximum of range to be added.
AddRange(void)
Default constructor.
int r_min
Minimum of range to be added.
void operator++(void)
Move iterator to next range (if possible)
void init(I &i, int min, int max)
Initialize with ranges i and range min to max.
int ma
Maximum of current range.
int mi
Minimum of current range.
int min(void) const
Return smallest value of range.
MinMax(void)
Default constructor.
int max(void) const
Return largest value of range.
void finish(void)
Set range such that iteration stops
SubRange(void)
Default constructor.
void init(I &i, int min, int max)
Initialize with ranges i and range min to max.
Range and value iterators.
Gecode toplevel namespace