Iterator for DFA transitions (sorted by symbols) More...

#include <int.hh>

Public Member Functions
	Transitions (const DFA &d)
	Initialize to all transitions of DFA d.
	Transitions (const DFA &d, int n)
	Initialize to transitions of DFA d for symbol n.
bool	operator() (void) const
	Test whether iterator still at a transition.
void	operator++ (void)
	Move iterator to next transition.
int	i_state (void) const
	Return in-state of current transition.
int	symbol (void) const
	Return symbol of current transition.
int	o_state (void) const
	Return out-state of current transition.

Detailed Description

Iterator for DFA transitions (sorted by symbols)

Definition at line 1761 of file int.hh.

Constructor & Destructor Documentation

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

Initialize to all transitions of DFA d.

Definition at line 162 of file dfa.hpp.

Gecode::DFA::Transitions::Transitions	(	const DFA &	d,
		int	n
	)		`[inline]`

Initialize to transitions of DFA d for symbol n.

Definition at line 173 of file dfa.hpp.

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

Test whether iterator still at a transition.

Definition at line 188 of file dfa.hpp.

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

Move iterator to next transition.

Definition at line 193 of file dfa.hpp.

int Gecode::DFA::Transitions::i_state ( void ) const [inline]

Return in-state of current transition.

Definition at line 198 of file dfa.hpp.

int Gecode::DFA::Transitions::symbol ( void ) const [inline]

Return symbol of current transition.

Definition at line 203 of file dfa.hpp.

int Gecode::DFA::Transitions::o_state ( void ) const [inline]

Return out-state of current transition.

Definition at line 208 of file dfa.hpp.

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