automata_ops.hh File Reference

This file holds the default operations for the elements of the automata set. More...

Include dependency graph for automata_ops.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  vcsn

Functions

template<class S, class T, typename OutputIterator, typename Kind>
void op_delta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 store the output transitions of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L, typename Kind>
void op_delta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, const L &query, delta_kind::kind< Kind > k)
 Delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L, typename Kind>
void op_letter_delta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, const L &letter, delta_kind::kind< Kind > k)
 Delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator, typename Kind>
void op_spontaneous_delta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 Store the output spontaneous transitions.
template<class S, class T, typename Container, typename Kind>
void op_deltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 Store the output transitions of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L, typename Kind>
void op_deltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, const L &query, delta_kind::kind< Kind > k)
 Delta using a query, with container output.
template<class S, class T, typename Container, typename L, typename Kind>
void op_letter_deltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, const L &letter, delta_kind::kind< Kind > k)
 Delta on a letter, with container output.
template<class S, class T, class Container, typename Kind>
void op_spontaneous_deltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 Store the output op_spontaneous transitions.
template<class S, class T, typename OutputIterator, typename Kind>
void op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 Store the output transitions of the state 'from' using 'res'.
template<class S, class T, typename OutputIterator, typename L, typename Kind>
void op_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, const L &query, delta_kind::kind< Kind > k)
 Reverse delta using a query, with iterator output.
template<class S, class T, typename OutputIterator, typename L, typename Kind>
void op_letter_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, const L &letter, delta_kind::kind< Kind > k)
 Reverse delta on a letter, with iterator output.
template<class S, class T, typename OutputIterator, typename Kind>
void op_spontaneous_rdelta (const AutomataBase< S > &, const T &, OutputIterator res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 Store the output op_spontaneous transitions.
template<class S, class T, typename Container, typename Kind>
void op_rdeltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 store the output transitions of the state 'from' in the container 'res'.
template<class S, class T, typename Container, typename L, typename Kind>
void op_rdeltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, const L &query, delta_kind::kind< Kind > k)
 Reverse delta using a query, with container output.
template<class S, class T, typename Container, typename L, typename Kind>
void op_letter_rdeltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, const L &letter, delta_kind::kind< Kind > k)
 Reverse delta on a letter, with container output.
template<class S, class T, typename Container, typename Kind>
void op_spontaneous_rdeltac (const AutomataBase< S > &, const T &, Container &res, const typename automaton_traits< T >::hstate_t &from, delta_kind::kind< Kind > k)
 store the output op_spontaneous transitions.
Default operation on automata.
template<typename S, typename R, typename T>
op_convert (const AutomataBase< S > &se, SELECTOR(R), const T &data)
 Default conversion between value types with computation.
template<typename S, typename T>
const T & op_convert (const AutomataBase< S > &, SELECTOR(T), const T &from_data)
 Default conversion between value types with computation.
template<typename S, typename T, typename U>
void op_assign (const AutomataBase< S > &s, T &dst, const U &src)
 Assignement operator between two implementations of a Structure<S>.
template<typename S, typename T>
void op_assign (const AutomataBase< S > &concept, T &dst, const T &src)
 Default conversion between value types with computation.
template<class S, class T>
const automaton_traits< T >
::tag_t & 
op_get_tag (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::tag_t & op_get_tag (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
const automaton_traits< T >
::geometry_t & 
op_get_geometry (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::geometry_t & op_get_geometry (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
bool op_exists (const AutomataBase< S > &s, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::states_t op_states (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::hstate_t op_get_state (const AutomataBase< S > &, const T &, int state)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::transitions_t 
op_transitions (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::initial_support_t 
op_initial (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::final_support_t 
op_final (const AutomataBase< S > &, const T &)
 Default conversion between value types with computation.
template<class S, class T>
void op_set_initial (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &state, const typename Element< S, T >::series_set_elt_t &s)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::series_set_elt_t op_get_initial (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::hstate_t &state)
 Default conversion between value types with computation.
template<class S, class T>
bool op_is_initial (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::hstate_t &state)
 Default conversion between value types with computation.
template<class S, class T>
void op_set_final (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &state, const typename Element< S, T >::series_set_elt_t &s)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::series_set_elt_t op_get_final (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::hstate_t &state)
 Default conversion between value types with computation.
template<class S, class T>
bool op_is_final (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::hstate_t &state)
 Default conversion between value types with computation.
template<class S, class T>
void op_set_initial (const AutomataBase< S > &, T &, int state, const typename Element< S, T >::series_set_elt_t &s)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::series_set_elt_t op_get_initial (const AutomataBase< S > &, const T &, int state)
 Default conversion between value types with computation.
template<class S, class T>
bool op_is_initial (const AutomataBase< S > &, const T &, int state)
 Default conversion between value types with computation.
template<class S, class T>
void op_set_final (const AutomataBase< S > &, T &, int state, const typename Element< S, T >::series_set_elt_t &s)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::series_set_elt_t op_get_final (const AutomataBase< S > &, const T &, int state)
 Default conversion between value types with computation.
template<class S, class T>
bool op_is_final (const AutomataBase< S > &, const T &, int state)
 Default conversion between value types with computation.
template<class S, class T>
void op_clear_initial (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
void op_clear_final (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::hstate_t op_add_state (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::hstate_t op_choose_state (const AutomataBase< S > &, T &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_transition (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &from, const typename automaton_traits< T >::hstate_t &to, const typename Element< S, T >::label_t &label)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_weighted_transition (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &from, const typename automaton_traits< T >::hstate_t &to, const typename Element< S, T >::semiring_elt_t &w, const typename Element< S, T >::monoid_elt_value_t &m)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_series_transition (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &from, const typename automaton_traits< T >::hstate_t &to, const typename Element< S, T >::series_set_elt_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_spontaneous (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &from, const typename automaton_traits< T >::hstate_t &to, const typename Element< S, T >::semiring_elt_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_letter_transition (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &from, const typename automaton_traits< T >::hstate_t &to, const typename Element< S, T >::letter_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_transition (const AutomataBase< S > &, T &, int from, int to, const typename Element< S, T >::label_t &label)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_weighted_transition (const AutomataBase< S > &, T &, int from, int to, const typename Element< S, T >::semiring_elt_t &w, const typename Element< S, T >::monoid_elt_value_t &m)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_series_transition (const AutomataBase< S > &, T &, int from, int to, const typename Element< S, T >::series_set_elt_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_spontaneous (const AutomataBase< S > &, T &, int from, int to, const typename Element< S, T >::semiring_elt_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >
::htransition_t 
op_add_letter_transition (const AutomataBase< S > &, T &, int from, int to, const typename Element< S, T >::letter_t &)
 Default conversion between value types with computation.
template<class S, class T>
void op_update (const AutomataBase< S > &, T &, const typename automaton_traits< T >::htransition_t &, const typename Element< S, T >::label_t &l)
 Default conversion between value types with computation.
template<class S, class T>
void op_del_state (const AutomataBase< S > &, T &, const typename automaton_traits< T >::hstate_t &)
 Default conversion between value types with computation.
template<class S, class T>
void op_del_state (const AutomataBase< S > &, T &, int)
 Default conversion between value types with computation.
template<class S, class T>
void op_del_transition (const AutomataBase< S > &, T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
bool op_has_state (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::hstate_t &)
 Default conversion between value types with computation.
template<class S, class T>
bool op_has_state (const AutomataBase< S > &, const T &, int)
 Default conversion between value types with computation.
template<class S, class T>
bool op_has_transition (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::hstate_t op_src_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
automaton_traits< T >::hstate_t op_dst_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::label_t op_label_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
const Element< S, T >
::series_set_elt_t 
op_series_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >
::series_set_elt_value_t 
op_series_value_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::monoid_elt_t op_word_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::semiring_elt_t op_weight_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::monoid_elt_value_t op_word_value_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
Element< S, T >::letter_t op_letter_of (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.
template<class S, class T>
bool op_is_spontaneous (const AutomataBase< S > &, const T &, const typename automaton_traits< T >::htransition_t &)
 Default conversion between value types with computation.


Detailed Description

This file holds the default operations for the elements of the automata set.

Definition in file automata_ops.hh.


Generated on Wed Mar 19 13:31:40 2008 for Vaucanson by  doxygen 1.5.5