Automata

Collaboration diagram for Automata:

Files
file	automata_ops.hh
	This file holds the default operations for the elements of the automata set.
Modules
	Concept
	Operators on automata
Classes
struct	AutomataBase
	It symbolises the set of automata with multiplicity over a fixed semiring and a fixed free monoid. More...
struct	TransducerBase
	It denotes the set of transducer with multiplicity over a fixed semiring and a fixed free couple of monoid. More...
Typedefs
typedef undefined_type	vcsn::automaton_traits::series_set_elt_value_t
typedef undefined_type	vcsn::automaton_traits::word_value_t
typedef undefined_type	vcsn::automaton_traits::semiring_elt_value_t
typedef undefined_type	vcsn::automaton_traits::letter_t
typedef undefined_type	vcsn::automaton_traits::tag_t
typedef undefined_type	vcsn::automaton_traits::states_t
typedef undefined_type	vcsn::automaton_traits::state_data_t
typedef undefined_type	vcsn::automaton_traits::state_iterator
typedef undefined_type	vcsn::automaton_traits::transitions_t
typedef undefined_type	vcsn::automaton_traits::transition_data_t
typedef undefined_type	vcsn::automaton_traits::transition_iterator
typedef undefined_type	vcsn::automaton_traits::initial_t
typedef undefined_type	vcsn::automaton_traits::initial_iterator
typedef undefined_type	vcsn::automaton_traits::initial_support_t
typedef undefined_type	vcsn::automaton_traits::final_t
typedef undefined_type	vcsn::automaton_traits::final_iterator
typedef undefined_type	vcsn::automaton_traits::final_support_t
typedef undefined_type	vcsn::automaton_traits::geometry_t
typedef AutomataBase< Self >::series_set_t	vcsn::MetaElement< AutomataBase< Self >, T >::series_set_t
	type the series set from which is build the automaton.
typedef automaton_traits< T >::series_set_elt_value_t	vcsn::MetaElement< AutomataBase< Self >, T >::series_set_elt_value_t
	type of the implementation of series that holds the automaton.
typedef Element< series_set_t, series_set_elt_value_t >	vcsn::MetaElement< AutomataBase< Self >, T >::series_set_elt_t
	type of the element of the set of series that holds the automaton.
typedef series_set_t::monoid_t	vcsn::MetaElement< AutomataBase< Self >, T >::monoid_t
	type of the free monoid.
typedef series_set_elt_t::monoid_elt_t	vcsn::MetaElement< AutomataBase< Self >, T >::monoid_elt_t
	type of the free monoid element.
typedef monoid_elt_t::value_t	vcsn::MetaElement< AutomataBase< Self >, T >::monoid_elt_value_t
	type of the implementation of a word.
typedef monoid_t::letter_t	vcsn::MetaElement< AutomataBase< Self >, T >::letter_t
	type of the letter.
typedef series_set_t::semiring_t	vcsn::MetaElement< AutomataBase< Self >, T >::semiring_t
	type of the semiring set.
typedef series_set_elt_t::semiring_elt_t	vcsn::MetaElement< AutomataBase< Self >, T >::semiring_elt_t
	type of the free monoid element.
typedef series_set_elt_t::semiring_elt_value_t	vcsn::MetaElement< AutomataBase< Self >, T >::semiring_elt_value_t
	type of the implementation of a semiring_elt.
typedef automaton_traits< T >::tag_t	vcsn::MetaElement< AutomataBase< Self >, T >::tag_t
	type of additional information that is aggregated to the automaton.
typedef automaton_traits< T >::label_t	vcsn::MetaElement< AutomataBase< Self >, T >::label_t
	type of the label of the automaton implementation.
typedef automaton_traits< T >::states_t	vcsn::MetaElement< AutomataBase< Self >, T >::states_t
	type of the states container.
typedef automaton_traits< T >::state_iterator	vcsn::MetaElement< AutomataBase< Self >, T >::state_iterator
	type of the iterator over the states set.
typedef automaton_traits< T >::transitions_t	vcsn::MetaElement< AutomataBase< Self >, T >::transitions_t
	type of the transitions set.
typedef automaton_traits< T >::transition_iterator	vcsn::MetaElement< AutomataBase< Self >, T >::transition_iterator
	type of the iterator over the transitions.
typedef automaton_traits< T >::initial_t	vcsn::MetaElement< AutomataBase< Self >, T >::initial_t
	type of the initial application.
typedef automaton_traits< T >::initial_support_t	vcsn::MetaElement< AutomataBase< Self >, T >::initial_support_t
	type of the initial application support.
typedef automaton_traits< T >::initial_iterator	vcsn::MetaElement< AutomataBase< Self >, T >::initial_iterator
	type of the iterator of the initial application support.
typedef automaton_traits< T >::final_t	vcsn::MetaElement< AutomataBase< Self >, T >::final_t
	type of the final application.
typedef automaton_traits< T >::final_iterator	vcsn::MetaElement< AutomataBase< Self >, T >::final_iterator
	type of the iterator of the final application support.
typedef automaton_traits< T >::geometry_t	vcsn::MetaElement< AutomataBase< Self >, T >::geometry_t
	type of the geometry map containing state coordinates.
typedef undefined_type	vcsn::transducer_traits::output_monoid_elt_value_t
typedef MetaElement< TransducerBase< Self >, T >	vcsn::MetaElement< TransducerBase< Self >, T >::self_t
	type of the interface of an automaton.
typedef MetaElement< AutomataBase< Self >, T >	vcsn::MetaElement< TransducerBase< Self >, T >::mother_t
	type of the mother class.
typedef mother_t::semiring_elt_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_series_set_elt_t
	type of the output.
typedef algebra::series_traits< semiring_elt_value_t >::monoid_elt_value_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_monoid_elt_value_t
typedef semiring_t::monoid_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_monoid_t
	type of the output monoid.
typedef Element< output_monoid_t, output_monoid_elt_value_t >	vcsn::MetaElement< TransducerBase< Self >, T >::output_monoid_elt_t
	type of the output monoid element.
typedef output_monoid_t::letter_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_letter_t
typedef mother_t::monoid_elt_value_t	vcsn::MetaElement< TransducerBase< Self >, T >::input_monoid_elt_value_t
	type of the input monoid element implementation.
typedef mother_t::monoid_t	vcsn::MetaElement< TransducerBase< Self >, T >::input_monoid_t
	type of the input monoid.
typedef Element< input_monoid_t, input_monoid_elt_value_t >	vcsn::MetaElement< TransducerBase< Self >, T >::input_monoid_elt_t
typedef input_monoid_t::letter_t	vcsn::MetaElement< TransducerBase< Self >, T >::input_letter_t
typedef algebra::series_traits< semiring_elt_value_t >::semiring_elt_value_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_semiring_elt_value_t
	type of the output weight implementation.
typedef semiring_t::semiring_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_semiring_t
	type of the output semiring.
typedef Element< output_semiring_t, output_semiring_elt_value_t >	vcsn::MetaElement< TransducerBase< Self >, T >::output_semiring_elt_t
	type of the output weight.
Functions
	vcsn::AutomataBase::AutomataBase ()
	The default constructor is protected since it is an abstract class.
	vcsn::AutomataBase::AutomataBase (const AutomataBase &other)
	The copy constructor is protected since it is an abstract class.
const series_set_t &	vcsn::AutomataBase::series () const
	Accessor to the set of series of the automaton.
const series_set_t &	vcsn::MetaElement< AutomataBase< Self >, T >::series () const
	the optional information aggregated to the automaton.
tag_t &	vcsn::MetaElement< AutomataBase< Self >, T >::tag ()
	the optional information aggregated to the automaton.
const tag_t &	vcsn::MetaElement< AutomataBase< Self >, T >::tag () const
	the optional information aggregated to the automaton.
geometry_t &	vcsn::MetaElement< AutomataBase< Self >, T >::geometry ()
	the optional geometry information aggregated to the automaton.
const geometry_t &	vcsn::MetaElement< AutomataBase< Self >, T >::geometry () const
	the optional geometry information aggregated to the automaton.
bool	vcsn::MetaElement< AutomataBase< Self >, T >::exists () const
	return true if the automaton is consistent.
automaton_traits< T >::states_t	vcsn::MetaElement< AutomataBase< Self >, T >::states () const
	accessor to the set of states.
automaton_traits< T >::transitions_t	vcsn::MetaElement< AutomataBase< Self >, T >::transitions () const
	accessor to the set of states.
automaton_traits< T >::initial_support_t	vcsn::MetaElement< AutomataBase< Self >, T >::initial () const
	accessor to the initial application.
automaton_traits< T >::final_support_t	vcsn::MetaElement< AutomataBase< Self >, T >::final () const
	accessor to the final application.
bool	vcsn::MetaElement< AutomataBase< Self >, T >::is_initial (hstate_t state) const
	return true if the state is initial (ie it is in the initial support) .
bool	vcsn::MetaElement< AutomataBase< Self >, T >::is_final (hstate_t state) const
	return true if the state is final (ie it is in the final support).
void	vcsn::MetaElement< AutomataBase< Self >, T >::set_initial (hstate_t state)
	set the state to be initial.
void	vcsn::MetaElement< AutomataBase< Self >, T >::set_initial (hstate_t state, const series_set_elt_t &m)
	set an initial multiplicity to the state.
void	vcsn::MetaElement< AutomataBase< Self >, T >::set_final (hstate_t state)
	set the state to be final.
void	vcsn::MetaElement< AutomataBase< Self >, T >::set_final (hstate_t state, const series_set_elt_t &m)
	set a final multiplicity to the state.
void	vcsn::MetaElement< AutomataBase< Self >, T >::unset_initial (hstate_t state)
	set the state not to be initial.
void	vcsn::MetaElement< AutomataBase< Self >, T >::unset_final (hstate_t state)
	set the set not to be final.
void	vcsn::MetaElement< AutomataBase< Self >, T >::clear_initial ()
	make the support of the initial application to be empty.
void	vcsn::MetaElement< AutomataBase< Self >, T >::clear_final ()
	make the support of the final application to be empty.
Element< series_set_t, series_set_elt_value_t >	vcsn::MetaElement< AutomataBase< Self >, T >::get_initial (hstate_t state) const
	return the initial multiplicity of the state.
Element< series_set_t, series_set_elt_value_t >	vcsn::MetaElement< AutomataBase< Self >, T >::get_final (hstate_t what) const
	return the final multiplicity of the state.
hstate_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_state ()
	add a new state to the automaton.
hstate_t	vcsn::MetaElement< AutomataBase< Self >, T >::choose_state () const
	return a randomly chosen state.
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_transition (hstate_t from, hstate_t to, const label_t &label)
	add a new transition between 'from' and 'to' labelled by 'label'
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_weighted_transition (hstate_t from, hstate_t to, const semiring_elt_t &w, const monoid_elt_value_t &m)
	add a new weighted transition.
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_series_transition (hstate_t from, hstate_t to, const series_set_elt_t &e)
	If the underlying implementation is not sufficiently general to support this operation, you will have several transitions created.
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_spontaneous (hstate_t from, hstate_t to, const semiring_elt_t &w)
	add a spontaneous transition between 'from' and 'to'.
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_spontaneous (hstate_t from, hstate_t to)
	add a spontaneous transition between 'from' and 'to'.
htransition_t	vcsn::MetaElement< AutomataBase< Self >, T >::add_letter_transition (hstate_t from, hstate_t to, const letter_t &l)
	add a transition between 'from' and 'to' labelled by a letter.
void	vcsn::MetaElement< AutomataBase< Self >, T >::update (htransition_t e, const label_t &l)
	update the label of a transition.
void	vcsn::MetaElement< AutomataBase< Self >, T >::del_state (hstate_t s)
	delete the state 's'.
void	vcsn::MetaElement< AutomataBase< Self >, T >::del_transition (htransition_t e)
	delete the transition 'e'.
bool	vcsn::MetaElement< AutomataBase< Self >, T >::has_state (hstate_t s) const
	check if the state 's' is in the automaton.
bool	vcsn::MetaElement< AutomataBase< Self >, T >::has_transition (htransition_t e) const
	check if the transition 'e' is in the automaton.
hstate_t	vcsn::MetaElement< AutomataBase< Self >, T >::src_of (htransition_t e) const
	return the origin of the transition 'e'.
hstate_t	vcsn::MetaElement< AutomataBase< Self >, T >::dst_of (htransition_t e) const
	return the aim of the transition 'e'.
automaton_traits< T >::label_t	vcsn::MetaElement< AutomataBase< Self >, T >::label_of (htransition_t e) const
	return the label of the transition 'e'.
series_set_elt_t	vcsn::MetaElement< AutomataBase< Self >, T >::series_of (htransition_t e) const
	return the label seen as a series.
series_set_elt_value_t	vcsn::MetaElement< AutomataBase< Self >, T >::series_value_of (htransition_t e) const
	return the label seen as a series implementation.
bool	vcsn::MetaElement< AutomataBase< Self >, T >::is_spontaneous (htransition_t e) const
	return true if the transition is spontaneous.
monoid_elt_t	vcsn::MetaElement< AutomataBase< Self >, T >::word_of (htransition_t e) const
	return the label seen as a word.
semiring_elt_t	vcsn::MetaElement< AutomataBase< Self >, T >::weight_of (htransition_t e) const
	return the label seen as a weight.
monoid_elt_value_t	vcsn::MetaElement< AutomataBase< Self >, T >::word_value_of (htransition_t e) const
	returns the label seen as word implementation.
letter_t	vcsn::MetaElement< AutomataBase< Self >, T >::letter_of (htransition_t e) const
	Becareful, when you have more general label this method is probably invalidated.
template<typename OutputIterator, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from using res.
template<typename OutputIterator, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from where query is true on a transition/state, using res.
template<typename OutputIterator, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_delta (OutputIterator res, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from where the label matches the letter letter.
template<typename OutputIterator, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_delta (OutputIterator res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the output spontaneous transitions or states reached from from by an epsilon-transition.
template<typename Container, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from in the container res.
template<typename Container, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from where query is true on a transition/state, using the container res.
template<typename Container, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_deltac (Container &res, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Store the output transitions/states of the state from where the label matches the letter letter.
template<typename Container, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_deltac (Container &res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the output spontaneous transitions or states reached from from by an epsilon-transition in the container res.
template<typename Functor, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::deltaf (Functor &fun, hstate_t from, delta_kind::kind< Kind > k) const
	Call the functor fun on every output transitions/states of the state from.
template<typename Functor, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::deltaf (Functor &fun, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Call the functor fun on every output transitions/states of the state from where query is true.
template<typename Functor, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_deltaf (Functor &fun, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Call the functor fun on every output transitions/states of the state from where the label matches the letter letter.
template<typename Functor, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_deltaf (Functor &fun, hstate_t from, delta_kind::kind< Kind > k) const
	Call the functor fun on every output spontaneous transitions or every states reached by from with an epsilon-transition.
template<typename OutputIterator, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from using res.
template<typename OutputIterator, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from where query is true on a transition/state, using res.
template<typename OutputIterator, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdelta (OutputIterator res, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from where the label matches the letter letter.
template<typename OutputIterator, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdelta (OutputIterator res, hstate_t from, delta_kind::kind< Kind > k) const
	Store every input spontaneous transitions or every states that reach from with an epsilon-transition using res.
template<typename Container, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from in the container res.
template<typename Container, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from where query is true on a transition/state, using the container res.
template<typename Container, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdeltac (Container &res, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Store the input transitions/states of the state from where the label matches the letter letter.
template<typename Container, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdeltac (Container &res, hstate_t from, delta_kind::kind< Kind > k) const
	Store every input spontaneous transitions or every states that reach from with an epsilon-transition in the container res.
template<typename Functor, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdeltaf (Functor &fun, hstate_t from, delta_kind::kind< Kind > k) const
	Call the functor fun on every input transitions/states of the state from.
template<typename Functor, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::rdeltaf (Functor &fun, hstate_t from, const L &query, delta_kind::kind< Kind > k) const
	Call the functor fun on every input transitions/states of the state from where query is true.
template<typename Functor, typename L, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdeltaf (Functor &fun, hstate_t from, const L &letter, delta_kind::kind< Kind > k) const
	Call the functor fun on every input transitions/states of the state from where the label matches the letter letter.
template<typename Functor, typename Kind>
void	vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdeltaf (Functor &fun, hstate_t from, delta_kind::kind< Kind > k) const
	Call the functor fun on every input spontaneous transitions or every states that reach from with an epsilon-transition.
	vcsn::MetaElement< AutomataBase< Self >, T >::MetaElement ()
	vcsn::MetaElement< AutomataBase< Self >, T >::MetaElement (const MetaElement &other)
	copy constructor
template<typename S, typename St, typename T>
St &	vcsn::op_rout (const AutomataBase< S > &s, St &st, const T &r)
	vcsn::TransducerBase::TransducerBase ()
	The default constructor is protected since it is an abstract class.
	vcsn::TransducerBase::TransducerBase (const TransducerBase &other)
	The copy constructor is protected since it is an abstract class.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, series_set_t)
	type the series set from which is build the automaton.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, series_set_elt_value_t)
	type of the implementation of series that holds the automaton.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, series_set_elt_t)
	type of the element of the set of series that holds the automaton.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, monoid_t)
	type of the free monoid.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, monoid_elt_t)
	type of the free monoid element.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, monoid_elt_value_t)
	type of the implementation of a word.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, letter_t)
	type of the letter.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, semiring_t)
	type of the semiring set.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, semiring_elt_t)
	type of the free monoid element.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, semiring_elt_value_t)
	type of the implementation of a semiring_elt.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, tag_t)
	type of additional information that is aggregated to the automaton.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, label_t)
	type of the label of the automaton implementation.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, states_t)
	type of the states container.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, state_iterator)
	type of the iterator over the states set.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, transitions_t)
	type of the transitions set.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, transition_iterator)
	type of the iterator over the transitions.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, initial_t)
	type of the initial application.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, initial_support_t)
	type of the initial application support.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, initial_iterator)
	type of the iterator of the initial application support.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, final_t)
	type of the final application.
	vcsn::MetaElement< TransducerBase< Self >, T >::INHERIT_TYPEDEF_ (automaton_t, final_iterator)
	type of the iterator of the final application support.
input_monoid_elt_t	vcsn::MetaElement< TransducerBase< Self >, T >::input_of (htransition_t) const
	return the input of a transition
output_series_set_elt_t	vcsn::MetaElement< TransducerBase< Self >, T >::output_of (htransition_t) const
	return the output of a transition
htransition_t	vcsn::MetaElement< TransducerBase< Self >, T >::add_io_transition (hstate_t, hstate_t, input_monoid_elt_value_t, output_monoid_elt_value_t, output_semiring_elt_t=output_semiring_elt_t())
	add a transition specified as an input word value and output word value.
htransition_t	vcsn::MetaElement< TransducerBase< Self >, T >::add_io_transition (hstate_t, hstate_t, input_letter_t, output_letter_t, output_semiring_elt_t=output_semiring_elt_t())
	add a transition specified using an input letter, an output letter and a weight linked to it.
htransition_t	vcsn::MetaElement< TransducerBase< Self >, T >::add_o_transition (hstate_t, hstate_t, output_letter_t, output_semiring_elt_t=output_semiring_elt_t())
	add an only-output transition (epsilon as input).
htransition_t	vcsn::MetaElement< TransducerBase< Self >, T >::add_i_transition (hstate_t, hstate_t, input_letter_t, output_semiring_elt_t=output_semiring_elt_t())
	add an only-input transition (epsilon as output).
void	vcsn::MetaElement< TransducerBase< Self >, T >::set_o_final (hstate_t, output_monoid_elt_value_t)
	set a weight on the final transition, specifying an output_monoid value.
void	vcsn::MetaElement< TransducerBase< Self >, T >::set_o_initial (hstate_t, output_monoid_elt_value_t)
	set a weight on the initial transition, specifying an output_monoid value.
	vcsn::MetaElement< TransducerBase< Self >, T >::MetaElement ()
	vcsn::MetaElement< TransducerBase< Self >, T >::MetaElement (const MetaElement &other)
	copy constructor

---

Function Documentation

automaton_traits< T >::states_t states (   )  const [inherited]

accessor to the set of states. (const version) Definition at line 96 of file automata_base.hxx.

automaton_traits< T >::transitions_t transitions (   )  const [inherited]

accessor to the set of states. (const version) Definition at line 104 of file automata_base.hxx.

hstate_t choose_state (   )  const [inherited]

return a randomly chosen state. (valid only if the automaton is not empty) Definition at line 265 of file automata_base.hxx.

MetaElement< AutomataBase< Self >, T >::letter_t letter_of (  htransition_t  e  )  const [inherited]

Becareful, when you have more general label this method is probably invalidated. ) Definition at line 455 of file automata_base.hxx.

void deltaf (  Functor &  fun, hstate_t  from, delta_kind::kind< Kind >  k )  const [inherited]

Call the functor fun on every output transitions/states of the state from. If fun returns Boolean values and returns false, the loop is stopped. Definition at line 560 of file automata_base.hxx. References vcsn::op_deltaf().

void deltaf (  Functor &  fun, hstate_t  from, const L &  query, delta_kind::kind< Kind >  k )  const [inherited]

Call the functor fun on every output transitions/states of the state from where query is true. If fun returns Boolean values and returns false, the loop is stopped. Definition at line 569 of file automata_base.hxx. References vcsn::op_deltaf().

void letter_deltaf (  Functor &  fun, hstate_t  from, const L &  letter, delta_kind::kind< Kind >  k )  const [inherited]

Call the functor fun on every output transitions/states of the state from where the label matches the letter letter. If fun returns Boolean values and returns false, the loop is stopped. Definition at line 580 of file automata_base.hxx. References vcsn::op_letter_deltaf().

void spontaneous_deltaf (  Functor &  fun, hstate_t  from, delta_kind::kind< Kind >  k )  const [inherited]

Call the functor fun on every output spontaneous transitions or every states reached by from with an epsilon-transition. If fun returns Boolean values and returns false, the loop is stopped. Definition at line 592 of file automata_base.hxx. References vcsn::op_spontaneous_deltaf().

---