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
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.
Return current symbol.
Definition at line 242 of file dfa.hpp.
The documentation for this class was generated from the following files: