Iterator for DFA symbols.
More...
#include <int.hh>
List of all members.
Public Member Functions |
| Symbols (const DFA &d) |
| Initialize to symbols of DFA d.
|
bool | operator() (void) const |
| Test whether iterator still at a symbol.
|
void | operator++ (void) |
| Move iterator to next symbol.
|
int | val (void) const |
| Return current symbol.
|
Detailed Description
Iterator for DFA symbols.
Definition at line 1784 of file int.hh.
Constructor & Destructor Documentation
Gecode::DFA::Symbols::Symbols |
( |
const DFA & |
d | ) |
|
|
inline |
Initialize to symbols of DFA d.
Definition at line 218 of file dfa.hpp.
Member Function Documentation
bool Gecode::DFA::Symbols::operator() |
( |
void |
| ) |
const |
|
inline |
Test whether iterator still at a symbol.
Definition at line 229 of file dfa.hpp.
void Gecode::DFA::Symbols::operator++ |
( |
void |
| ) |
|
|
inline |
Move iterator to next symbol.
Definition at line 234 of file dfa.hpp.
int Gecode::DFA::Symbols::val |
( |
void |
| ) |
const |
|
inline |
Return current symbol.
Definition at line 242 of file dfa.hpp.
The documentation for this class was generated from the following files: