Inheritance diagram for automata::DFA< STATE, INPUT >:

Collaboration diagram for automata::DFA< STATE, INPUT >:

Public Member Functions
	DFA (STATE s, STATE deflt)

	DFA (const std::set< STATE > &states, const std::set< INPUT > &inputs, STATE start, STATE deflt)

Public Member Functions inherited from automata::FA_base< STATE, INPUT, STATE >
	FA_base (STATE s, STATEd)

	FA_base (const std::set< STATE > &states, const std::set< INPUT > &inputs, STATE start, STATE deflt)

const std::set< STATE > &	states () const

const std::set< INPUT > &	inputs () const

const Transitions &	transitions (STATE s) const

const STATE	start () const

const STATE	deflt () const

const STATE	next (STATE from, INPUT input) const

void	addState (STATE newState)

void	addInput (INPUT newInput)

void	setTransition (STATE from, INPUT input, STATEto)

Additional Inherited Members
Public Types inherited from automata::FA_base< STATE, INPUT, STATE >
typedef std::map< INPUT, STATE >	Transitions

Protected Attributes inherited from automata::FA_base< STATE, INPUT, STATE >
std::set< STATE >	states_

std::set< INPUT >	inputs_

std::map< STATE, Transitions >	transitions_

const Transitions	noTransitions

STATE	start_

STATE	default_

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

Public Member Functions

Additional Inherited Members