78 mi =
i.val();
ma =
i.val();
80 while (
i() && (
ma+1 >=
i.val())) {
Base for range iterators with explicit min and max.
int ma
Maximum of current range.
int mi
Minimum of current range.
void finish(void)
Set range such that iteration stops
void init(I &i)
Initialize with value iterator i.
void operator++(void)
Move iterator to next range (if possible)
ToRanges(void)
Default constructor.
Range and value iterators.
Gecode toplevel namespace