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