Gecode::DFA::Transitions Class Reference
#include <int.hh>
List of all members.
Detailed Description
Iterator for DFA transitions (sorted by symbols).
Definition at line 1497 of file 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.
|
Constructor & Destructor Documentation
| Gecode::DFA::Transitions::Transitions |
( |
const DFA & |
d |
) |
[inline] |
Initialize to all transitions of DFA d.
Definition at line 153 of file dfa.icc.
| Gecode::DFA::Transitions::Transitions |
( |
const DFA & |
d, |
|
|
int |
n | |
|
) |
| | [inline] |
Initialize to transitions of DFA d for symbol n.
Definition at line 164 of file dfa.icc.
Member Function Documentation
| bool Gecode::DFA::Transitions::operator() |
( |
void |
|
) |
const [inline] |
Test whether iterator still at a transition.
Definition at line 179 of file dfa.icc.
| void Gecode::DFA::Transitions::operator++ |
( |
void |
|
) |
[inline] |
Move iterator to next transition.
Definition at line 184 of file dfa.icc.
| int Gecode::DFA::Transitions::i_state |
( |
void |
|
) |
const [inline] |
Return in-state of current transition.
Definition at line 189 of file dfa.icc.
| int Gecode::DFA::Transitions::symbol |
( |
void |
|
) |
const [inline] |
Return symbol of current transition.
Definition at line 194 of file dfa.icc.
| int Gecode::DFA::Transitions::o_state |
( |
void |
|
) |
const [inline] |
Return out-state of current transition.
Definition at line 199 of file dfa.icc.
The documentation for this class was generated from the following files:
