
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__(). |
1.4.6