42 template<
class I,
class J>
80 template<
class I,
class J>
84 template<
class I,
class J>
89 if (
i.val() ==
j.val()) {
91 }
else if (
i.val() <
j.val()) {
106 template<
class I,
class J>
113 template<
class I,
class J>
119 template<
class I,
class J>
125 template<
class I,
class J>
void operator++(void)
Move iterator to next value (if possible)
bool done
Whether iterator is done.
int val(void) const
Return current value.
void init(I &i, J &j)
Initialize with values from i and j.
bool operator()(void) const
Test whether iterator is still at a value or done.
Union(void)
Default constructor.
Range and value iterators.
Gecode toplevel namespace