108 return static_cast<int>(
cur);
int val(void) const
Return current value.
void operator++(void)
Move iterator to next value (if possible)
void move(void)
Move to next set bit.
BitSetOffset(const BS &bs)
Initialize with bitset bs.
bool operator()(void) const
Test whether iterator is still at a value or done.
int offset(void) const
Integer-precision integer scale view.
Range and value iterators.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .