Gecode::DFA::Transitions Class Reference
List of all members.Detailed Description
Iterator for transitions (sorted by symbols/values).
Definition at line 28 of file dfa.icc.
Public Member Functions | |
Transitions (const DFA &d) | |
Initialize to transitions of DFA d. | |
bool | operator() (void) const |
Test whether iterator still at a transition. | |
void | operator++ (void) |
Move iterator to next transition. | |
const Transition * | transition (void) const |
Return pointer to transition. |
Constructor & Destructor Documentation
Gecode::DFA::Transitions::Transitions | ( | const DFA & | d | ) | [inline] |
Member Function Documentation
bool Gecode::DFA::Transitions::operator() | ( | void | ) | const [inline] |
void Gecode::DFA::Transitions::operator++ | ( | void | ) | [inline] |
const DFA::Transition * Gecode::DFA::Transitions::transition | ( | void | ) | const [inline] |
The documentation for this class was generated from the following file:
- gecode/int/regular/dfa.icc (Revision: 3512)