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.
Public Member Functions | |
TransitionBag (void) | |
void | add (int, int, int) |
void | finish (void) |
DFA::Transition * | transitions (void) |
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:
- gecode/int/regular/reg.cc (Revision: 3512)