59 void init(
int i0,
int i1, J&
j);
79 mi =
j.min();
ma =
j.max();
int ma
Maximum of current range.
int mi
Minimum of current range.
MinMax(void)
Default constructor.
void finish(void)
Set range such that iteration stops
J j
Iterator to be appended.
SingletonAppend(void)
Default constructor.
void init(int i0, int i1, J &j)
Initialize with singleton (i0, i1) and iterator j.
void operator++(void)
Move iterator to next range (if possible)
Range and value iterators.
Gecode toplevel namespace