Operators on automata
[Automata]

Collaboration diagram for Operators on automata:

Files
file	automata_ops.hh
	This file holds the default operations for the elements of the automata set.
Default operation on automata.
template<typename S, typename R, typename T>
R	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.