38 namespace Gecode {
namespace Iter {
namespace Values {
62 BitSet(
const BS& bs,
int n,
int m);
84 : bs(bs0), cur(bs.next(0)), limit(bs.
size()) {
91 cur(bs.next(static_cast<unsigned int>(n))),
92 limit(
std::
min(bs.
size(),static_cast<unsigned int>(m)+1)) {
109 return static_cast<int>(cur);
void move(void)
Move to next set bit.
unsigned int cur
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)
int val(void) const
Return current value.
Gecode toplevel namespace