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