37namespace Gecode {
namespace Iter {
namespace Values {
83 : bs(bs0), cur(bs.next(bs0.
offset())), limit(bs.
offset()+bs.size()) {
108 return static_cast<int>(cur);
int n
Number of negative literals for node type.
Value iterator for values in an offset bitset.
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.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .