38 namespace Gecode {
namespace Iter {
namespace Ranges {
88 void init(I& i,
int min,
int max);
SubRange(void)
Default constructor.
Range iterator for adding a single range to a range iterator.
int max(void) const
Return largest value of range.
void init(I &i, int min, int max)
Initialize with ranges i and range min to max.
Base for range iterators with explicit min and max.
void operator++(void)
Move iterator to next range (if possible)
I i
Iterator to which the range is to be added.
AddRange(void)
Default constructor.
int min(void) const
Return smallest value of range.
void finish(void)
Set range such that iteration stops
void init(I &i, int min, int max)
Initialize with ranges i and range min to max.
int mi
Minimum of current range.
Range iterator for subtracting a single range from a range iterator.
int r_min
Minimum of range to be added.
Gecode toplevel namespace
int r_max
Maximum of range to be added.
int ma
Maximum of current range.