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

• gecode/int.hh (Revision: 12537)
• gecode/int/extensional/dfa.hpp (Revision: 10684)