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.
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] |
|
Member Data Documentation
The documentation for this class was generated from the following file:
