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 1789 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:
