Gecode::DFA::Symbols Class Reference

#include <int.hh>

List of all members.

---

Detailed Description

Iterator for DFA symbols.

Definition at line 1520 of file 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.

---

Constructor & Destructor Documentation

Gecode::DFA::Symbols::Symbols

(

const DFA &

d

)

[inline]

Initialize to symbols of DFA d.

Definition at line 209 of file dfa.icc.

---

Member Function Documentation

bool Gecode::DFA::Symbols::operator()

(

void

)

const [inline]

Test whether iterator still at a symbol.

Definition at line 220 of file dfa.icc.

void Gecode::DFA::Symbols::operator++

(

void

)

[inline]

Move iterator to next symbol.

Definition at line 225 of file dfa.icc.

int Gecode::DFA::Symbols::val

(

void

)

const [inline]

Return current symbol.

Definition at line 233 of file dfa.icc.

---

The documentation for this class was generated from the following files:

• gecode/int.hh (Revision: 7494)
• gecode/int/extensional/dfa.icc (Revision: 6102)