Gecode::DFA::Symbols Class Reference
Iterator for DFA symbols. More...
#include <int.hh>
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 2074 of file int.hh.
Constructor & Destructor Documentation
Gecode::DFA::Symbols::Symbols | ( | const DFA & | d | ) | [inline] |
Member Function Documentation
bool Gecode::DFA::Symbols::operator() | ( | void | ) | const [inline] |
void Gecode::DFA::Symbols::operator++ | ( | void | ) | [inline] |
int Gecode::DFA::Symbols::val | ( | void | ) | const [inline] |
The documentation for this class was generated from the following files:
- gecode/int.hh (Revision: 15623)
- gecode/int/extensional/dfa.hpp (Revision: 14967)