int val(void) const
Return current value.
void start(void)
Initialize iterator.
void operator++(void)
Move iterator to next value (if possible)
bool operator()(void) const
Test whether iterator is still at a value or done.
void init(I &i)
Initialize with values from range iterator i.
ToValues(void)
Default constructor.
int max
End of current range.
Range and value iterators.
Gecode toplevel namespace