KRatExpIdentity Struct Template Reference

Inheritance diagram for KRatExpIdentity:

Inheritance graph
[legend]
List of all members.

Public Types

typedef Self 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::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
typedef T::monoid_elt_value_t monoid_elt_value_t

Public Member Functions

 KRatExpIdentity (const Element< Series, T > &exp)
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 Self, class Series, class T, class Dispatch>
struct vcsn::algebra::KRatExpIdentity< Self, Series, T, Dispatch >

Definition at line 210 of file krat_exp_pattern.hh.


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 KRatExpIdentity< KRatExpTranspose< Series, T, Dispatch >, Series, T, Dispatch >::match_nodeLeftWeight(), KRatExpIdentity< KRatExpTranspose< Series, T, Dispatch >, Series, T, Dispatch >::match_nodeProduct(), KRatExpIdentity< KRatExpTranspose< Series, T, Dispatch >, Series, T, Dispatch >::match_nodeRightWeight(), KRatExpIdentity< KRatExpTranspose< Series, T, Dispatch >, Series, T, Dispatch >::match_nodeStar(), and KRatExpIdentity< KRatExpTranspose< Series, T, Dispatch >, Series, T, Dispatch >::match_nodeSum().


Generated on Sat Jul 29 17:32:01 2006 for Vaucanson by  doxygen 1.4.6