Public Types | |
typedef IsFiniteAppMatcher< Series, T, Dispatch > | self_t |
typedef bool | 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 | |
IsFiniteAppMatcher () | |
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) |
U | match (const T &ast) |
Effectively performs the match. |
Definition at line 26 of file krat_exp_is_finite_app.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_(), 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().