45 template<
class I,
class J>
97 void init(I* i,
int n);
113 template<
class I,
class J>
117 mi =
i.min();
ma =
i.max();
119 if (!
i() &&
j() && (
j.min() ==
ma+1)) {
124 mi =
j.min();
ma =
j.max();
132 template<
class I,
class J>
136 template<
class I,
class J>
146 template<
class I,
class J>
void init(I &i, J &j)
Initialize with iterator i and j.
void operator++(void)
Move iterator to next range (if possible)
Append(void)
Default constructor.
J j
Iterator to be appended.
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
void operator++(void)
Move iterator to next range (if possible)
int n
Number of iterators.
NaryAppend(void)
Default constructor.
void init(I *i, int n)
Initialize with n iterators in i.
I * r
The array of iterators to be appended.
int active
Number of current iterator being processed.
Range and value iterators.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .