|
Public Types |
|
typedef Automata< S > | structure_t |
|
typedef T | impl_t |
typedef Element< structure_t,
impl_t > | automaton_t |
|
typedef automaton_t::series_set_elt_t | series_set_elt_t |
|
typedef structure_t::series_set_t | series_set_t |
|
typedef structure_t::series_set_t::semiring_t | semiring_t |
|
typedef structure_t::series_set_t::monoid_t | monoid_t |
|
typedef impl_t::monoid_elt_value_t | monoid_elt_value_t |
|
typedef monoid_t::alphabet_t | alphabet_t |
typedef algebra::alphabet_traits<
typename alphabet_t::set_t,
typename alphabet_t::value_t > | alphabet_traits_t |
typedef algebra::word_traits<
monoid_t, monoid_elt_value_t > | word_traits_t |
|
typedef word_traits_t::first_monoid_t | first_monoid_t |
|
typedef word_traits_t::second_monoid_t | second_monoid_t |
typedef algebra::mute_series_traits<
series_set_t, semiring_t,
first_monoid_t >::ret | first_series_t |
typedef algebra::mute_series_traits<
series_set_t, semiring_t,
second_monoid_t >::ret | second_series_t |
typedef mute_graph_impl_traits<
impl_t, word_traits_t
>::first_projection_t | first_impl_t |
typedef mute_graph_impl_traits<
impl_t, word_traits_t
>::second_projection_t | second_impl_t |
typedef Element< Automata<
first_series_t >, first_impl_t > | first_projection_t |
typedef Element< Automata<
second_series_t >, second_impl_t > | second_projection_t |
typedef automaton_traits<
first_impl_t > | first_series_traits_t |
typedef automaton_traits<
second_impl_t > | second_series_traits_t |
typedef Element< first_series_t,
typename first_series_traits_t::series_set_elt_value_t > | series_first_projection_t |
typedef Element< second_series_t,
typename second_series_traits_t::series_set_elt_value_t > | series_second_projection_t |
