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