34namespace Gecode {
namespace Iter {
namespace Ranges {
99 while (i() && (ma+1 >= r_min+i.min())) {
100 ma = r_max + i.max(); ++i;
110 : i(i0), r_min(r_min0), r_max(r_max0) {
117 i = i0; r_min = r_min0; r_max = r_max0;
Range iterator for adding a single range to a range iterator.
I i
Iterator to which the range is to be added.
int r_max
Maximum of range to be added.
AddRange(void)
Default constructor.
int r_min
Minimum of range to be added.
void operator++(void)
Move iterator to next range (if possible)
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.
int min(void) const
Return smallest value of range.
int max(void) const
Return largest value of range.
Range iterator for subtracting a single range from a range iterator.
SubRange(void)
Default constructor.
void init(I &i, int min, int max)
Initialize with ranges i and range min to max.
Gecode toplevel namespace