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.

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.

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: