42 template<
class I,
class J>
69 template<
class I,
class J>
84 while (
j() && (
j.max() <
mi))
86 if (
j() && (
j.min() <=
ma)) {
89 if ((
mi >=
j.min()) && (
ma <=
j.max()))
96 if (
j() && (
j.min() <=
ma))
107 template<
class I,
class J>
111 template<
class I,
class J>
123 template<
class I,
class J>
Diff(void)
Default constructor.
Diff(I &i, J &j)
Initialize with iterator i and j.
void init(I &i, J &j)
Initialize with iterator i and j.
Iter::Ranges::RangeList i
void operator++(void)
Move iterator to next range (if possible)
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
Range and value iterators.
Gecode toplevel namespace