67 unsigned int width(
void)
const;
Empty(void)
Default constructor.
void init(void)
Initialize.
bool operator()(void) const
Test whether iterator is still at a range or done.
void operator++(void)
Move iterator to next range (if possible)
int max(void) const
Return largest value of range.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Range and value iterators.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.