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.
Public Member Functions | |
FinalBag (void) | |
void | add (int) |
void | finish (void) |
int * | finals (void) |
Constructor & Destructor Documentation
Member Function Documentation
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:
- gecode/int/regular/reg.cc (Revision: 3512)