Iterator for DFA symbols.
More...
#include <int.hh>
Iterator for DFA symbols.
Definition at line 1921 of file int.hh.
Gecode::DFA::Symbols::Symbols |
( |
const DFA & |
d | ) |
|
|
inline |
Initialize to symbols of DFA d.
Definition at line 229 of file dfa.hpp.
bool Gecode::DFA::Symbols::operator() |
( |
void |
| ) |
const |
|
inline |
Test whether iterator still at a symbol.
Definition at line 240 of file dfa.hpp.
void Gecode::DFA::Symbols::operator++ |
( |
void |
| ) |
|
|
inline |
Move iterator to next symbol.
Definition at line 245 of file dfa.hpp.
int Gecode::DFA::Symbols::val |
( |
void |
| ) |
const |
|
inline |
Return current symbol.
Definition at line 253 of file dfa.hpp.
The documentation for this class was generated from the following files: