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