34namespace Gecode {
namespace Iter {
namespace Values {
80 : bs(bs0), cur(bs.next(0)), limit(bs.size()) {
87 cur(bs.next(static_cast<unsigned int>(
n))),
88 limit(
std::
min(bs.size(),static_cast<unsigned int>(m)+1)) {
105 return static_cast<int>(cur);
int n
Number of negative literals for node type.
Value iterator for values in a bitset.
unsigned int limit
Limit value.
void operator++(void)
Move iterator to next value (if possible)
BitSet(const BS &bs)
Initialize with bitset bs.
bool operator()(void) const
Test whether iterator is still at a value or done.
int val(void) const
Return current value.
unsigned int cur
Current value.
void move(void)
Move to next set bit.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .