Iterator for DFA transitions (sorted by symbols) More...
#include <int.hh>
Public Member Functions | |
Transitions (const DFA &d) | |
Initialize to all transitions of DFA d. | |
Transitions (const DFA &d, int n) | |
Initialize to transitions of DFA d for symbol n. | |
bool | operator() (void) const |
Test whether iterator still at a transition. | |
void | operator++ (void) |
Move iterator to next transition. | |
int | i_state (void) const |
Return in-state of current transition. | |
int | symbol (void) const |
Return symbol of current transition. | |
int | o_state (void) const |
Return out-state of current transition. |
Iterator for DFA transitions (sorted by symbols)
Gecode::DFA::Transitions::Transitions | ( | const DFA & | d | ) | [inline] |
Gecode::DFA::Transitions::Transitions | ( | const DFA & | d, |
int | n | ||
) | [inline] |
bool Gecode::DFA::Transitions::operator() | ( | void | ) | const [inline] |
void Gecode::DFA::Transitions::operator++ | ( | void | ) | [inline] |
int Gecode::DFA::Transitions::i_state | ( | void | ) | const [inline] |
int Gecode::DFA::Transitions::symbol | ( | void | ) | const [inline] |
int Gecode::DFA::Transitions::o_state | ( | void | ) | const [inline] |