41 namespace Gecode {
namespace Iter {
namespace Values {
87 : bs(bs0), cur(bs.next(bs0.offset())), limit(bs.offset()+bs.
size()) {
112 return static_cast<int>(cur);
void move(void)
Move to next set bit.
BitSetOffset(const BS &bs)
Initialize with bitset bs.
void operator++(void)
Move iterator to next value (if possible)
bool operator()(void) const
Test whether iterator is still at a value or done.
int n
Number of negative literals for node type.
unsigned int size(I &i)
Size of all ranges of range iterator i.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Value iterator for values in an offset bitset.
int val(void) const
Return current value.
Gecode toplevel namespace