Gecode::Int::Regular::TransitionBag Class Reference
List of all members.
Detailed Description
For collecting transitions while constructing a DFA.
Definition at line 589 of file reg.cc.
Constructor & Destructor Documentation
| Gecode::Int::Regular::TransitionBag::TransitionBag |
( |
void |
|
) |
[inline] |
|
Member Function Documentation
| void Gecode::Int::Regular::TransitionBag::add |
( |
int |
, |
|
|
int |
, |
|
|
int |
|
|
) |
[inline] |
|
| void Gecode::Int::Regular::TransitionBag::finish |
( |
void |
|
) |
[inline] |
|
| DFA::Transition * Gecode::Int::Regular::TransitionBag::transitions |
( |
void |
|
) |
[inline] |
|
The documentation for this class was generated from the following file:
