KRatExpTranspose Struct Template Reference

Inheritance diagram for KRatExpTranspose:

[legend]List of all members.

Public Types
typedef KRatExpTranspose< Series, T, Dispatch >	self_t
typedef Element< Series, T >	return_type
typedef Element< Series, T >::semiring_elt_t	semiring_elt_t
typedef semiring_elt_t::value_t	semiring_elt_value_t
typedef Element< Series, T >::monoid_elt_t	monoid_elt_t
typedef monoid_elt_t::value_t	monoid_elt_value_t
typedef monoid_elt_t::set_t	monoid_t
typedef monoid_t::alphabet_t	alphabet_t
typedef alphabet_t::letter_t	letter_t
typedef ::vcsn::algebra::KRatExpMatcher< self_t, T, semiring_elt_t, Dispatch >	krat_exp_matcher_t
typedef krat_exp_matcher_t::Product	Product
typedef krat_exp_matcher_t::Sum	Sum
typedef krat_exp_matcher_t::Star	Star
typedef krat_exp_matcher_t::LeftWeight	LeftWeight
typedef krat_exp_matcher_t::RightWeight	RightWeight
typedef krat_exp_matcher_t::Constant	Constant
typedef krat_exp_matcher_t::One	One
typedef krat_exp_matcher_t::Zero	Zero
Public Member Functions
	KRatExpTranspose (const Element< Series, T > &exp)
	MATCH__ (Product, lhs, rhs)
END	MATCH_ (Constant, m)
return_type	match_nodeProduct (const Product &p____)
return_type	match_nodeSum (const Sum &p____)
return_type	match_nodeStar (const Star &p____)
return_type	match_nodeLeftWeight (const LeftWeight &p____)
return_type	match_nodeRightWeight (const RightWeight &p____)
return_type	match_nodeConstant (const Constant &p____)
return_type	match_nodeZero (const Zero &)
return_type	match_nodeOne (const One &)
Element< Series, T >	match (const T &ast)
	Effectively performs the match.
Protected Attributes
Element< Series, T >	exp_

---

Detailed Description

template<class Series, class T, class Dispatch>
struct vcsn::algebra::KRatExpTranspose< Series, T, Dispatch >

Definition at line 29 of file krat_exp_transpose.hxx.

---

Member Function Documentation

Element< Series, 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 KRatExpTranspose::MATCH__().

---