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)