KRatExpLinearize Struct Template Reference

Inheritance diagram for KRatExpLinearize:

Inheritance graph
[legend]
List of all members.

Public Types

typedef linearize_element<
Series, T >::index_t 
index_t
typedef linearize_element<
Series, T >::element_t 
return_type
typedef return_type::value_t exp_impl_t
typedef return_type::monoid_elt_value_t l_monoid_elt_value_t
typedef return_type::set_t l_series_set_elt_t
typedef l_series_set_elt_t::monoid_t l_monoid_t
typedef l_series_set_elt_t::semiring_t l_semiring_t
typedef l_monoid_t::alphabet_t l_alphabet_t
typedef l_monoid_t::letter_t l_letter_t
typedef return_type::monoid_elt_t l_monoid_elt_t
typedef return_type::semiring_elt_t l_semiring_elt_t
typedef KRatExpLinearize<
Series, T, Dispatch > 
self_t
typedef Element< Series, T
>::semiring_elt_t 
semiring_elt_t
typedef Element< Series, T
>::monoid_elt_t 
monoid_elt_t
typedef monoid_elt_t::value_t monoid_elt_value_t
typedef T::semiring_elt_value_t semiring_elt_value_t

Public Member Functions

 KRatExpLinearize (const Element< Series, T > &exp)
return_type linearize ()
 MATCH__ (Product, lhs, rhs)
END MATCH__ (Sum, lhs, rhs)
END MATCH_ (Star, e)
END MATCH__ (LeftWeight, w, e)
END MATCH__ (RightWeight, e, w)
END MATCH_ (Constant, m)
END MATCH (Zero)
END MATCH (One)
linearize_element< Series,
T >::element_t 
match (const T &ast)
 Effectively performs the match.

Detailed Description

template<class Series, class T, class Dispatch>
struct vcsn::KRatExpLinearize< Series, T, Dispatch >

Definition at line 30 of file krat_exp_linearize.hxx.


Member Function Documentation

linearize_element< Series, T >::element_t match const T &  ast  )  [inherited]
 

Effectively performs the match.

Parameters:
ast The object to perform the match on.
See also:
DispatchVisitor::DispatchVisitor

Referenced by KRatExpLinearize::linearize(), KRatExpLinearize::MATCH_(), and KRatExpLinearize::MATCH__().


Generated on Fri Jul 28 12:34:04 2006 for Vaucanson by  doxygen 1.4.6