41 namespace Gecode {
namespace Int {
namespace Sequence {
47 mutable unsigned int fst;
56 bool empty(
void)
const;
58 void add(
unsigned int i);
60 unsigned int get(void);
bool get(unsigned int i) const
Access value at bit i.
unsigned int fst
The (possibly) first set bit (set is empty if fst == sz)
unsigned int size(void) const
Return size of bitset (number of bits)
void clear(unsigned int i)
Clear bit i.
unsigned int get(void)
Get first element from violation set and remove it.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Simple bitsets for recording violations.
unsigned int next(unsigned int i) const
Return position greater or equal i of next set bit (i is allowed to be equal to size) ...
bool empty(void) const
Return whether set is empty.
void init(A &a, unsigned int s, bool setbits=false)
Initialize for s bits and allocator a (only after default constructor)
void init(Space &home, unsigned int n)
Initialize violation set for n violations.
void update(Space &home, bool shared, Violations &v)
Update violation set during cloning.
Violations(void)
Default constructor.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
void add(unsigned int i)
Add i to violation set.