mute_ltl_to_pair Struct Template Reference
[Algorithms]

List of all members.

Public Types
typedef Element< S, T >	automaton_t
typedef automaton_t::monoid_elt_t::set_t	monoid_set_elt_t
typedef automaton_t::semiring_t	semiring_t
typedef monoid_set_elt_t::first_monoid_t::alphabet_t	first_alphabet_t
typedef monoid_set_elt_t::second_monoid_t::alphabet_t	second_alphabet_t
typedef first_alphabet_t::set_t::letter_t	first_letter_t
typedef second_alphabet_t::set_t::letter_t	second_letter_t
typedef std::pair< first_letter_t, second_letter_t >	ret_letter_t
typedef algebra::AlphabetSet< ret_letter_t >	ret_alphabet_set_t
typedef std::set< ret_letter_t >	ret_alphabet_impl_t
typedef Element< ret_alphabet_set_t, ret_alphabet_impl_t >	ret_alphabet_t
typedef algebra::FreeMonoid< ret_alphabet_t >	ret_monoid_t
typedef Element< ret_monoid_t, std::basic_string< ret_letter_t > >	ret_monoid_elt_t
typedef algebra::mute_series_traits< typename automaton_t::series_set_t, typename automaton_t::semiring_t, algebra::FreeMonoid< ret_alphabet_t > >::ret	ret_series_set_t
typedef Automata< ret_series_set_t >	ret_set_t
typedef mute_graph_impl_monoid_traits< typename automaton_t::value_t, ret_monoid_elt_t >::ret	ret_impl_t
typedef Element< ret_set_t, ret_impl_t >	ret

---

Detailed Description

template<typename S, typename T>
struct vcsn::mute_ltl_to_pair< S, T >

Definition at line 61 of file ltl_to_pair.hh.

---