Gecode::DFA::Transitions Class Reference
Iterator for DFA transitions (sorted by symbols).
More...
#include <int.hh>
List of all members.
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.
|
Detailed Description
Iterator for DFA transitions (sorted by symbols).
Definition at line 1761 of file int.hh.
Constructor & Destructor Documentation
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.
Member Function Documentation
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: