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)