34 namespace 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.
const FloatNum min
Smallest allowed float value.
unsigned int size(I &i)
Size of all ranges of range iterator i.