Simple bitsets for recording violations. More...
#include <violations.hpp>
Public Member Functions | |
| Violations (void) | |
| 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. | |
| bool | empty (void) const |
| Return whether set is empty. | |
| void | add (unsigned int i) |
| Add i to violation set. | |
| unsigned int | get (void) |
| Get first element from violation set and remove it. | |
Protected Attributes | |
| unsigned int | fst |
| The (possibly) first set bit (set is empty if fst == sz) | |
Simple bitsets for recording violations.
Definition at line 44 of file violations.hpp.
| Gecode::Int::Sequence::Violations::Violations | ( | void | ) | [inline] |
Default constructor.
Definition at line 65 of file violations.hpp.
| void Gecode::Int::Sequence::Violations::init | ( | Space & | home, |
| unsigned int | n | ||
| ) | [inline] |
Initialize violation set for n violations.
Definition at line 68 of file violations.hpp.
| void Gecode::Int::Sequence::Violations::update | ( | Space & | home, |
| bool | shared, | ||
| Violations & | v | ||
| ) | [inline] |
Update violation set during cloning.
Definition at line 80 of file violations.hpp.
| bool Gecode::Int::Sequence::Violations::empty | ( | void | ) | const [inline] |
Return whether set is empty.
Definition at line 74 of file violations.hpp.
| void Gecode::Int::Sequence::Violations::add | ( | unsigned int | i | ) | [inline] |
Add i to violation set.
Definition at line 86 of file violations.hpp.
| unsigned int Gecode::Int::Sequence::Violations::get | ( | void | ) | [inline] |
Get first element from violation set and remove it.
Definition at line 91 of file violations.hpp.
unsigned int Gecode::Int::Sequence::Violations::fst [mutable, protected] |
The (possibly) first set bit (set is empty if fst == sz)
Definition at line 47 of file violations.hpp.