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 2051 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 173 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 184 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 199 of file dfa.hpp.
| void Gecode::DFA::Transitions::operator++ |
( |
void |
|
) |
[inline] |
Move iterator to next transition.
Definition at line 204 of file dfa.hpp.
| int Gecode::DFA::Transitions::i_state |
( |
void |
|
) |
const [inline] |
Return in-state of current transition.
Definition at line 209 of file dfa.hpp.
| int Gecode::DFA::Transitions::symbol |
( |
void |
|
) |
const [inline] |
Return symbol of current transition.
Definition at line 214 of file dfa.hpp.
| int Gecode::DFA::Transitions::o_state |
( |
void |
|
) |
const [inline] |
Return out-state of current transition.
Definition at line 219 of file dfa.hpp.
The documentation for this class was generated from the following files:
