Gecode::Int::Regular::StatePool Class Reference
List of all members.Detailed Description
State pool combines a tree of states together with yet unprocessed states
Definition at line 503 of file reg.cc.
Public Member Functions | |
StatePool (PosSet *) | |
StateNode * | pop (void) |
bool | empty (void) const |
int | state (StatePoolAllocator &, PosSet *) |
Public Attributes | |
int | n_states |
StateNode | root |
StateNode * | next |
StateNode * | all |
Constructor & Destructor Documentation
Gecode::Int::Regular::StatePool::StatePool | ( | PosSet * | ) | [inline] |
Member Function Documentation
StateNode * Gecode::Int::Regular::StatePool::pop | ( | void | ) | [inline] |
bool Gecode::Int::Regular::StatePool::empty | ( | void | ) | const [inline] |
int Gecode::Int::Regular::StatePool::state | ( | StatePoolAllocator & | , | |
PosSet * | ||||
) | [inline] |
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/int/regular/reg.cc (Revision: 3512)