Generated on Tue Apr 18 10:23:08 2017 for Gecode by doxygen 1.6.3

Gecode::DFA::Symbols Class Reference

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 2074 of file int.hh.


Constructor & Destructor Documentation

Gecode::DFA::Symbols::Symbols ( const DFA d  )  [inline]

Initialize to symbols of DFA d.

Definition at line 229 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 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: