Public Types | |
typedef KRatExpRealtime< 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 | |
KRatExpRealtime (const Element< Series, T > &exp) | |
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 &) |
U | match (const T &ast) |
Effectively performs the match. | |
Protected Attributes | |
Element< Series, T > | exp_ |
Definition at line 116 of file krat_exp_realtime.hxx.
U match | ( | const T & | ast | ) | [inherited] |
Effectively performs the match.
ast | The object to perform the match on. |
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().