#include <fsa.hh>

Inheritance diagram for ruba::finite_automaton:

Public Member Functions
	finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_delta &transitions, const fsa_state_set &start, const fsa_state &accept)

	finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_state_set &start, const fsa_state &accept)

virtual	~finite_automaton ()

const fsa_state_set &	get_states () const

const fsa_alphabet &	get_alphas () const

const fsa_delta &	get_transitions () const

fsa_state_set	get_start () const

void	set_initials (const fsa_state_set &initials)

fsa_state	get_accept () const

bool	empty () const

Detailed Description

Definition of finite automaton

Constructor & Destructor Documentation

ruba::finite_automaton::finite_automaton	(	const fsa_state_set &	states,
		const fsa_alphabet &	alphabet,
		const fsa_delta &	transitions,
		const fsa_state_set &	start,
		const fsa_state &	accept
	)

constructor with the biggest state, the biggest input symbol (alpha), the set of transitions and the accept state

Parameters

ruba::finite_automaton::finite_automaton	(	const fsa_state_set &	states,
		const fsa_alphabet &	alphabet,
		const fsa_state_set &	start,
		const fsa_state &	accept
	)

constructor with the biggest state, the biggest input symbol (alpha), and the accept state

Parameters

ruba::finite_automaton::~finite_automaton ( )

virtual

destructor

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