77 unsigned int width(
void)
const;
108 return static_cast<unsigned int>(
ma-
mi)+1;
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
Range and value iterators.
Gecode toplevel namespace