Standard_OfVisitor Class Template Reference

Inheritance diagram for Standard_OfVisitor:

Inheritance graph
[legend]
List of all members.

Public Types

typedef Auto_ * automaton_ptr_t
typedef Auto_ automaton_t
typedef automaton_t::set_t automata_set_t
typedef automaton_t::series_set_t series_set_t
typedef automaton_t::monoid_t monoid_t
typedef automaton_t::semiring_t semiring_t
typedef automaton_t::series_set_elt_t series_set_elt_t
typedef automaton_t::monoid_elt_t monoid_elt_t
typedef automaton_t::semiring_elt_t semiring_elt_t
typedef Exp_::monoid_elt_value_t monoid_elt_value_t
typedef Exp_::semiring_elt_value_t semiring_elt_value_t
typedef Standard_OfVisitor<
Exp_, Auto_, Dispatch_ > 
this_class
typedef algebra::KRatExpMatcher<
this_class, Exp_, Auto_ *,
Dispatch_ > 
parent_class
typedef parent_class::return_type return_type

Public Member Functions

 Standard_OfVisitor (const series_set_t &series)
 MATCH__ (Product, lhs, rhs)
END MATCH__ (Sum, lhs, rhs)
END MATCH_ (Star, node)
END MATCH__ (LeftWeight, w, node)
END MATCH__ (RightWeight, node, w)
END MATCH_ (Constant, m)
END MATCH (Zero)
END MATCH (One)
match (const T &ast)
 Effectively performs the match.

Detailed Description

template<class Exp_, class Auto_, class Dispatch_>
class vcsn::algebra::Standard_OfVisitor< Exp_, Auto_, Dispatch_ >

Definition at line 37 of file standard_of.hxx.


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_(), KRatExpIdentity< vcsn::algebra::KRatExpTranspose< vcsn::algebra::Series< Semiring, Monoid >, T, Dispatch >, vcsn::algebra::Series< Semiring, Monoid >, T, Dispatch >::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__(), KRatExpIdentity< vcsn::algebra::KRatExpTranspose< vcsn::algebra::Series< Semiring, Monoid >, T, Dispatch >, vcsn::algebra::Series< Semiring, Monoid >, T, Dispatch >::MATCH__(), KRatExpPartialDerivation::MATCH__(), KRatExpLinearize::MATCH__(), IsFiniteAppMatcher::MATCH__(), KRatExpFlatten::MATCH__(), KRatExpExpander::MATCH__(), KRatExpDerivation::MATCH__(), ConstantTermEval::MATCH__(), KRatExpCDerivation::MATCH__(), KRatExpInitialDerivation::MATCH__(), KRatExpAciCanonical::MATCH__(), vcsn::op_is_finite_app(), vcsn::op_support(), and vcsn::partial_derivate().


Generated on Wed Jun 13 17:03:35 2007 for Vaucanson by  doxygen 1.5.1