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, misc::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 | 
Definition at line 47 of file krat_exp_linearize.hh.
 1.4.6