
State pool combines a tree of states together with yet unprocessed states More...
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 |
State pool combines a tree of states together with yet unprocessed states
|
inline |
|
inline |
|
inline |
|
inline |