38 namespace Gecode {
namespace Iter {
namespace Ranges {
81 unsigned int width(
void)
const;
112 return static_cast<unsigned int>(
ma-
mi)+1;
int max(void) const
Return largest value of range.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Base for range iterators with explicit min and max.
int min(void) const
Return smallest value of range.
void finish(void)
Set range such that iteration stops
MinMax(void)
Default constructor.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool operator()(void) const
Test whether iterator is still at a range or done.
int mi
Minimum of current range.
Gecode toplevel namespace
int ma
Maximum of current range.