36namespace Gecode {
namespace Iter {
namespace Ranges {
59 void init(
int i0,
int i1, J&
j);
79 mi = j.min(); ma = j.max();
Base for range iterators with explicit min and max.
int ma
Maximum of current range.
int mi
Minimum of current range.
Range iterator for appending a singleton with a range iterator
J j
Iterator to be appended.
SingletonAppend(void)
Default constructor.
void init(int i0, int i1, J &j)
Initialize with singleton (i0, i1) and iterator j.
void operator++(void)
Move iterator to next range (if possible)
Gecode toplevel namespace