For collecting final states while constructing a DFA.
More...
For collecting final states while constructing a DFA.
Definition at line 797 of file reg.cpp.
◆ FinalBag()
| Gecode::MiniModel::FinalBag::FinalBag |
( |
void | | ) |
|
|
inline |
◆ add()
| void Gecode::MiniModel::FinalBag::add |
( |
int | state | ) |
|
|
inline |
◆ finish()
| void Gecode::MiniModel::FinalBag::finish |
( |
void | | ) |
|
|
inline |
◆ finals()
| int * Gecode::MiniModel::FinalBag::finals |
( |
void | | ) |
|
|
inline |
The documentation for this class was generated from the following file: