Gecode::Int::Sequence::Violations Class Reference
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, 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). |
Detailed Description
Simple bitsets for recording violations.
Definition at line 40 of file violations.hpp.
Constructor & Destructor Documentation
Gecode::Int::Sequence::Violations::Violations | ( | void | ) | [inline] |
Default constructor.
Definition at line 61 of file violations.hpp.
Member Function Documentation
void Gecode::Int::Sequence::Violations::init | ( | Space & | home, | |
unsigned int | n | |||
) | [inline] |
Initialize violation set for n violations.
Definition at line 64 of file violations.hpp.
void Gecode::Int::Sequence::Violations::update | ( | Space & | home, | |
Violations & | v | |||
) | [inline] |
Update violation set during cloning.
Definition at line 76 of file violations.hpp.
bool Gecode::Int::Sequence::Violations::empty | ( | void | ) | const [inline] |
Return whether set is empty.
Definition at line 70 of file violations.hpp.
void Gecode::Int::Sequence::Violations::add | ( | unsigned int | i | ) | [inline] |
Add i to violation set.
Definition at line 82 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 87 of file violations.hpp.
Member Data Documentation
unsigned int Gecode::Int::Sequence::Violations::fst [mutable, protected] |
The (possibly) first set bit (set is empty if fst == sz).
Definition at line 43 of file violations.hpp.
The documentation for this class was generated from the following file:
- gecode/int/sequence/violations.hpp