For collecting transitions while constructing a DFA.
More...
Detailed Description
For collecting transitions while constructing a DFA.
Definition at line 681 of file reg.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::TransitionBag::TransitionBag |
( |
void |
| ) |
|
|
inline |
Member Function Documentation
void Gecode::MiniModel::TransitionBag::add |
( |
int |
i_state, |
|
|
int |
symbol, |
|
|
int |
o_state |
|
) |
| |
|
inline |
void Gecode::MiniModel::TransitionBag::finish |
( |
void |
| ) |
|
|
inline |
The documentation for this class was generated from the following file: