38 namespace Gecode {
namespace Iter {
namespace Ranges {
55 void init(
int min,
int max);
Range iterator for singleton range.
int max(void) const
Return largest value of range.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Base for range iterators with explicit min and max.
void operator++(void)
Move iterator to next range (if possible)
int min(void) const
Return smallest value of range.
void init(int min, int max)
Initialize with range min to max.
Singleton(void)
Default constructor.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int mi
Minimum of current range.
Gecode toplevel namespace
int ma
Maximum of current range.