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 |
Public Member Functions | |
KRatExpRealtime (const Element< Series, T > &exp) | |
MATCH_ (Constant, m) | |
MATCH__ (Product, lhs, rhs) | |
END | MATCH__ (Sum, lhs, rhs) |
END | MATCH__ (LeftWeight, w, e) |
END | MATCH__ (RightWeight, e, w) |
END | MATCH_ (Star, e) |
END | MATCH (Zero) |
END | MATCH (One) |
Element< Series, T > | match (const T &ast) |
Effectively performs the match. | |
Protected Attributes | |
Element< Series, T > | exp_ |
Definition at line 116 of file krat_exp_realtime.hxx.
Effectively performs the match.
ast | The object to perform the match on. |
Referenced by vcsn::do_realtime(), and vcsn::do_realtime_here().