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)
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.
void init(A &a, unsigned int s, bool setbits=false)
Initialize for s bits and allocator a (only after default constructor)
void set(unsigned int i)
Set bit i.
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.
bool empty(void) const
Return whether set is empty.
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) ...
Violations(void)
Default constructor.
unsigned int size(void) const
Return size of bitset (number of bits)
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.