Public Types | |
typedef KRatExpIsRealtime< Exp_, Dispatch_ > | this_class |
typedef bool | return_type |
typedef Exp_::monoid_elt_value_t | monoid_elt_value_t |
typedef Exp_::semiring_elt_value_t | semiring_elt_value_t |
Public Member Functions | |
MATCH__ (Sum, l, r) | |
END | MATCH__ (Product, l, r) |
END | MATCH_ (Star, e) |
END | MATCH__ (LeftWeight, w, e) |
END | MATCH__ (RightWeight, e, w) |
END | MATCH_ (Constant, m) |
END | MATCH (Zero) |
END | MATCH (One) |
bool | match (const Exp_ &ast) |
Effectively performs the match. |
Definition at line 31 of file krat_exp_realtime.hxx.
|
Effectively performs the match.
Referenced by vcsn::do_is_realtime(), KRatExpIsRealtime::MATCH_(), and KRatExpIsRealtime::MATCH__(). |