Public Types | |
typedef Matcher | matcher_t |
typedef Matcher::return_type | return_type |
typedef Monoid | monoid_elt_value_t |
typedef Semiring | semiring_elt_value_t |
typedef rat::Node< monoid_elt_value_t, semiring_elt_value_t > | node_t |
Public Member Functions | |
DispatchVisitor (Matcher &m) | |
virtual | ~DispatchVisitor () |
virtual void | product (const node_t *lhs, const node_t *rhs) |
virtual void | sum (const node_t *lhs, const node_t *rhs) |
virtual void | star (const node_t *node) |
virtual void | left_weight (const semiring_elt_value_t &w, const node_t *node) |
virtual void | right_weight (const semiring_elt_value_t &w, const node_t *node) |
virtual void | constant (const monoid_elt_value_t &m) |
virtual void | zero () |
virtual void | one () |
return_type | get_ret () |
Definition at line 30 of file dispatch_visitor.hh.