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().


Generated on Sat Jul 29 17:28:31 2006 for Vaucanson by  doxygen 1.4.6