linearize_element Struct Template Reference
[Algorithms]

The types of a linearized expression. More...

List of all members.

Public Types
typedef T::semiring_elt_value_t	orig_semiring_elt_value_t
typedef S::semiring_t	orig_semiring_t
typedef S::monoid_t	orig_monoid_t
typedef orig_monoid_t::letter_t	orig_letter_t
typedef int	index_t
typedef std::pair< orig_letter_t, index_t >	letter_t
typedef algebra::AlphabetSet< letter_t >	alphabets_t
typedef std::set< letter_t >	alphabet_impl_t
typedef Element< alphabets_t, alphabet_impl_t >	alphabet_t
typedef algebra::FreeMonoid< alphabet_t >	monoid_t
typedef algebra::Series< orig_semiring_t, monoid_t >	series_set_t
typedef std::basic_string< letter_t, utility::char_traits< letter_t > >	monoid_elt_value_t
typedef rat::exp< monoid_elt_value_t, orig_semiring_elt_value_t >	series_set_elt_value_t
typedef Element< series_set_t, series_set_elt_value_t >	element_t

---

Detailed Description

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

The types of a linearized expression.

Definition at line 47 of file krat_exp_linearize.hh.

---