38 namespace Gecode {
namespace Iter {
namespace Values {
46 template<
class I,
class J>
65 void init(I& i, J& j);
84 template<
class I,
class J>
88 template<
class I,
class J>
93 if (
i.val() == j.val()) {
95 }
else if (
i.val() < j.val()) {
110 template<
class I,
class J>
113 i=i0; j=j0;
v=0; done=
false;
117 template<
class I,
class J>
123 template<
class I,
class J>
129 template<
class I,
class J>
void operator++(void)
Move iterator to next value (if possible)
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool done
Whether iterator is done.
bool operator()(void) const
Test whether iterator is still at a value or done.
int val(void) const
Return current value.
void init(I &i, J &j)
Initialize with values from i and j.
Value iterator for the union of two value iterators.
Gecode toplevel namespace
Union(void)
Default constructor.