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
Gecode::MiniModel::StatePool::StatePool | ( | PosSet * | ps | ) | [inline] |
StateNode * Gecode::MiniModel::StatePool::pop | ( | void | ) | [inline] |
bool Gecode::MiniModel::StatePool::empty | ( | void | ) | const [inline] |
int Gecode::MiniModel::StatePool::state | ( | StatePoolAllocator & | spm, |
PosSet * | ps | ||
) | [inline] |