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

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

Public Member Functions
	NFA (STATE s, std::set< STATE > d)

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

void	addTransition (STATE from, INPUT input, STATE to)

template<class NSTATE , class XXX >
DFA< NSTATE, INPUT > *	constructDFA (XXX createState)

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

	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 std::set< STATE >	deflt () const

const std::set< STATE >	next (STATE from, INPUT input) const

void	addState (STATE newState)

void	addInput (INPUT newInput)

void	setTransition (STATE from, INPUT input, std::set< STATE >to)

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

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

std::set< INPUT >	inputs_

std::map< STATE, Transitions >	transitions_

const Transitions	noTransitions

STATE	start_

std::set< STATE >	default_

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

Public Member Functions

Additional Inherited Members