Iterator for DFA transitions (sorted by symbols)
More...
#include <int.hh>
Iterator for DFA transitions (sorted by symbols)
Definition at line 1761 of file int.hh.
Gecode::DFA::Transitions::Transitions |
( |
const DFA & |
d | ) |
|
|
inline |
Initialize to all transitions of DFA d.
Definition at line 162 of file dfa.hpp.
Gecode::DFA::Transitions::Transitions |
( |
const DFA & |
d, |
|
|
int |
n |
|
) |
| |
|
inline |
Initialize to transitions of DFA d for symbol n.
Definition at line 173 of file dfa.hpp.
bool Gecode::DFA::Transitions::operator() |
( |
void |
| ) |
const |
|
inline |
Test whether iterator still at a transition.
Definition at line 188 of file dfa.hpp.
void Gecode::DFA::Transitions::operator++ |
( |
void |
| ) |
|
|
inline |
Move iterator to next transition.
Definition at line 193 of file dfa.hpp.
int Gecode::DFA::Transitions::i_state |
( |
void |
| ) |
const |
|
inline |
Return in-state of current transition.
Definition at line 198 of file dfa.hpp.
int Gecode::DFA::Transitions::symbol |
( |
void |
| ) |
const |
|
inline |
Return symbol of current transition.
Definition at line 203 of file dfa.hpp.
int Gecode::DFA::Transitions::o_state |
( |
void |
| ) |
const |
|
inline |
Return out-state of current transition.
Definition at line 208 of file dfa.hpp.
The documentation for this class was generated from the following files: