KRatExpMatcher Struct Template Reference

Inheritance diagram for KRatExpMatcher:

[legend]List of all members.

Public Types
typedef U	return_type
typedef T::semiring_elt_value_t	semiring_elt_value_t
typedef T::monoid_elt_value_t	monoid_elt_value_t
Public Member Functions
U	match (const T &ast)
	Effectively performs the match.
Protected Member Functions
	KRatExpMatcher ()
Classes
struct	Constant
struct	LeftWeight
struct	One
struct	Product
struct	RightWeight
struct	Star
struct	Sum
struct	Zero

---

Detailed Description

template<class Self, class T, class U, class F>
struct vcsn::algebra::KRatExpMatcher< Self, T, U, F >

Definition at line 179 of file krat_exp_pattern.hh.

---

Member Function Documentation

U match

(

const T &

ast

)

[inherited]

Effectively performs the match.

Parameters:

ast

The object to perform the match on.

See also:

DispatchVisitor::DispatchVisitor

Definition at line 128 of file krat_exp_pattern.hxx.

Referenced by vcsn::cderivate(), vcsn::algebra::coefficient(), vcsn::constant_term(), vcsn::derivate(), vcsn::do_broken_derived_term_automaton(), vcsn::do_canonical(), vcsn::do_is_realtime(), vcsn::do_realtime(), vcsn::do_realtime_here(), KRatExpFlatten::flatten(), KRatExpExpander::get(), KRatExpLinearize::linearize(), Standard_OfVisitor::MATCH_(), KRatExpIsRealtime::MATCH_(), KRatExpPartialDerivation::MATCH_(), KRatExpLinearize::MATCH_(), KRatExpFlatten::MATCH_(), KRatExpExpander::MATCH_(), KRatExpDerivation::MATCH_(), ConstantTermEval::MATCH_(), KRatExpCDerivation::MATCH_(), KRatExpAciCanonical::MATCH_(), Standard_OfVisitor::MATCH__(), KRatExpTranspose::MATCH__(), SupportMatcher::MATCH__(), KRatExpIsRealtime::MATCH__(), KRatExpPartialDerivation::MATCH__(), KRatExpLinearize::MATCH__(), IsFiniteAppMatcher::MATCH__(), KRatExpFlatten::MATCH__(), KRatExpExpander::MATCH__(), KRatExpDerivation::MATCH__(), ConstantTermEval::MATCH__(), KRatExpCDerivation::MATCH__(), KRatExpInitialDerivation::MATCH__(), KRatExpAciCanonical::MATCH__(), KRatExpIdentity< vcsn::algebra::KRatExpRealtime< vcsn::algebra::Series, T, Dispatch >, vcsn::algebra::Series, T, Dispatch >::match_nodeLeftWeight(), KRatExpIdentity< vcsn::algebra::KRatExpRealtime< vcsn::algebra::Series, T, Dispatch >, vcsn::algebra::Series, T, Dispatch >::match_nodeProduct(), KRatExpIdentity< vcsn::algebra::KRatExpRealtime< vcsn::algebra::Series, T, Dispatch >, vcsn::algebra::Series, T, Dispatch >::match_nodeRightWeight(), KRatExpIdentity< vcsn::algebra::KRatExpRealtime< vcsn::algebra::Series, T, Dispatch >, vcsn::algebra::Series, T, Dispatch >::match_nodeStar(), KRatExpIdentity< vcsn::algebra::KRatExpRealtime< vcsn::algebra::Series, T, Dispatch >, vcsn::algebra::Series, T, Dispatch >::match_nodeSum(), vcsn::op_is_finite_app(), vcsn::op_support(), and vcsn::partial_derivate().

---