main page modules namespaces classes files
Gecode home

search for 

Gecode::DFA::Transitions Class Reference

List of all members.

---

Detailed Description

Iterator for transitions (sorted by symbols/values).

Definition at line 28 of file dfa.icc.

Public Member Functions
	Transitions (const DFA &d)
	Initialize to transitions of DFA d.
bool	operator() (void) const
	Test whether iterator still at a transition.
void	operator++ (void)
	Move iterator to next transition.
const Transition *	transition (void) const
	Return pointer to transition.

---

Constructor & Destructor Documentation

Gecode::DFA::Transitions::Transitions (  const DFA &  d  )  [inline]

Initialize to transitions of DFA d. Definition at line 150 of file dfa.icc.

---

Member Function Documentation

bool Gecode::DFA::Transitions::operator() (  void   )  const [inline]

Test whether iterator still at a transition. Definition at line 154 of file dfa.icc.

void Gecode::DFA::Transitions::operator++ (  void   )  [inline]

Move iterator to next transition. Definition at line 159 of file dfa.icc.

const DFA::Transition * Gecode::DFA::Transitions::transition (  void   )  const [inline]

Return pointer to transition. Definition at line 164 of file dfa.icc.

---

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

• gecode/int/regular/dfa.icc (Revision: 3512)