KRatExpLinearize Struct Template Reference

Inheritance diagram for KRatExpLinearize:

[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__().

---