43 mutable unsigned int fst;
52 bool empty(
void)
const;
54 void add(
unsigned int i);
56 unsigned int get(
void);
void init(Space &home, unsigned int n)
Initialize violation set for n violations.
void update(Space &home, Violations &v)
Update violation set during cloning.
void add(unsigned int i)
Add i to violation set.
Violations(void)
Default constructor.
unsigned int fst
The (possibly) first set bit (set is empty if fst == sz)
bool empty(void) const
Return whether set is empty.
unsigned int get(void)
Get first element from violation set and remove it.
void init(A &a, unsigned int s, bool setbits=false)
Initialize for s bits and allocator a (only after default constructor)
bool get(unsigned int i) const
Access value at bit i.
unsigned int size(void) const
Return size of bitset (number of bits)
void clear(unsigned int i)
Clear bit i.
void set(unsigned int i)
Set bit i.
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)
Gecode toplevel namespace