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>
void vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, delta_kind::transitions k) const
 store the output transitions of the state 'from' using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, const L &query, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_delta (OutputIterator res, hstate_t from, const L &letter, delta_kind::transitions k) const
 store the output transitions of the state 'from' where the label matches the letter.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_delta (OutputIterator res, hstate_t from, delta_kind::transitions k) const
 store the output spontaneous transitions.
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, delta_kind::transitions k) const
 store the output transitions of the state 'from' in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, const L &query, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_deltac (Container &res, hstate_t from, const L &letter, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_deltac (Container &res, hstate_t from, delta_kind::transitions k) const
 store the output spontaneous transitions.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, delta_kind::states k) const
 store the output transitions of the state 'from' using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::delta (OutputIterator res, hstate_t from, const L &query, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_delta (OutputIterator res, hstate_t from, const L &letter, delta_kind::states k) const
 store the output states of the state 'from' where the label matches the letter.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_delta (OutputIterator res, hstate_t from, delta_kind::states k) const
 store the output spontaneous transitions.
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, delta_kind::states k) const
 store the output states of the state 'from' in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::deltac (Container &res, hstate_t from, const L &query, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_deltac (Container &res, hstate_t from, const L &letter, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_deltac (Container &res, hstate_t from, delta_kind::states k) const
 store the output spontaneous transitions.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, delta_kind::transitions k) const
 store the output transitions of the state 'from' using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, const L &query, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdelta (OutputIterator res, hstate_t from, const L &letter, delta_kind::transitions k) const
 store the output transitions of the state 'from' where the label matches the letter.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdelta (OutputIterator res, hstate_t from, delta_kind::transitions k) const
 store the output spontaneous transitions.
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, delta_kind::transitions k) const
 store the output transitions of the state 'from' in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, const L &query, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdeltac (Container &res, hstate_t from, const L &letter, delta_kind::transitions k) const
 store the output transitions of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdeltac (Container &res, hstate_t from, delta_kind::transitions k) const
 store the output spontaneous transitions.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, delta_kind::states k) const
 store the output transitions of the state 'from' using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdelta (OutputIterator res, hstate_t from, const L &query, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true using 'res'.
template<typename OutputIterator, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdelta (OutputIterator res, hstate_t from, const L &letter, delta_kind::states k) const
 store the output states of the state 'from' where the label matches the letter.
template<typename OutputIterator>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdelta (OutputIterator res, hstate_t from, delta_kind::states k) const
 store the output spontaneous transitions.
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, delta_kind::states k) const
 store the output states of the state 'from' in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::rdeltac (Container &res, hstate_t from, const L &query, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container, typename L>
void vcsn::MetaElement< AutomataBase< Self >, T >::letter_rdeltac (Container &res, hstate_t from, const L &letter, delta_kind::states k) const
 store the output states of the state 'from' where query(label(e)) = true in the container 'res'
template<typename Container>
void vcsn::MetaElement< AutomataBase< Self >, T >::spontaneous_rdeltac (Container &res, hstate_t from, delta_kind::states k) const
 store the output spontaneous transitions.
 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.


Generated on Fri Jul 28 12:33:00 2006 for Vaucanson by  doxygen 1.4.6