42 template<
class I,
class J>
78 template<
class I,
class J>
82 template<
class I,
class J>
86 while (
i() &&
j() && (
i.val() <
j.val()))
88 while (
i() &&
j() && (
j.val() <
i.val()))
90 }
while (
i() &&
j() && (
i.val() !=
j.val()));
93 template<
class I,
class J>
99 template<
class I,
class J>
105 template<
class I,
class J>
111 template<
class I,
class J>
117 template<
class I,
class J>
120 assert(
i.val() ==
j.val());
Inter(void)
Default constructor.
int val(void) const
Return current value.
void next(void)
Find next element from intersection.
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.
void operator++(void)
Move iterator to next value (if possible)
Range and value iterators.
Gecode toplevel namespace