For collecting final states while constructing a DFA.
More...
List of all members.
Detailed Description
For collecting final states while constructing a DFA.
Definition at line 718 of file reg.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::FinalBag::FinalBag |
( |
void |
| ) |
[inline] |
Member Function Documentation
void Gecode::MiniModel::FinalBag::add |
( |
int |
state | ) |
[inline] |
void Gecode::MiniModel::FinalBag::finish |
( |
void |
| ) |
[inline] |
int * Gecode::MiniModel::FinalBag::finals |
( |
void |
| ) |
[inline] |
The documentation for this class was generated from the following file: