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 2069 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 213 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 224 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 239 of file dfa.hpp.
| void Gecode::DFA::Transitions::operator++ |
( |
void |
|
) |
[inline] |
Move iterator to next transition.
Definition at line 244 of file dfa.hpp.
| int Gecode::DFA::Transitions::i_state |
( |
void |
|
) |
const [inline] |
Return in-state of current transition.
Definition at line 249 of file dfa.hpp.
| int Gecode::DFA::Transitions::symbol |
( |
void |
|
) |
const [inline] |
Return symbol of current transition.
Definition at line 254 of file dfa.hpp.
| int Gecode::DFA::Transitions::o_state |
( |
void |
|
) |
const [inline] |
Return out-state of current transition.
Definition at line 259 of file dfa.hpp.
The documentation for this class was generated from the following files:
