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 operator++(void)
Move iterator to next range (if possible)
void init(int min, int max)
Initialize with range min to max.
Singleton(void)
Default constructor.
Range and value iterators.
Gecode toplevel namespace