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 | { NODE_LWEIGHT = Node<Word, lweight, NODE_RWEIGHT = Node<Word, rweight, NODE_PROD = Node<Word, prod, NODE_SUM = Node<Word, sum } |
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 67 of file dump_visitor.hxx.
anonymous enum [protected] |
Definition at line 108 of file dump_visitor.hxx.
1.5.2