34namespace Gecode {
namespace Iter {
namespace Ranges {
77 unsigned int width(
void)
const;
108 return static_cast<unsigned int>(
ma-
mi)+1;
Base for range iterators with explicit min and max.
int ma
Maximum of current range.
int mi
Minimum of current range.
bool operator()(void) const
Test whether iterator is still at a range or done.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
MinMax(void)
Default constructor.
int max(void) const
Return largest value of range.
void finish(void)
Set range such that iteration stops
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 .