
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.
| bool match | ( | const Exp_ & | ast | ) | [inherited] |
Effectively performs the match.
| ast | The object to perform the match on. |
Referenced by vcsn::do_is_realtime(), KRatExpIsRealtime::MATCH_(), and KRatExpIsRealtime::MATCH__().
1.5.2