Public Types | |
| typedef Word | monoid_elt_value_t |
| typedef Weight | semiring_elt_value_t |
| typedef Node< Word, Weight > | node_t |
Public Member Functions | |
| DumpVisitor (std::ostream &ostr=std::cout) | |
| virtual | ~DumpVisitor () |
| 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 () |
Protected Types | |
| enum | |
Protected Member Functions | |
| void | enclose_if (const bool cond, const node_t *node) |
| void | product_print_child (const node_t *child) |
Protected Attributes | |
| std::ostream & | ostr_ |
Definition at line 66 of file dump_visitor.hxx.
1.4.6