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