| constant(const M_ &m) | StarHeightVisitor | [inline, virtual] |
| get() const | StarHeightVisitor | [inline] |
| h_ | StarHeightVisitor | [protected] |
| left_weight(const W_ &, const Node< M_, W_ > *node) | StarHeightVisitor | [inline, virtual] |
| one() | StarHeightVisitor | [inline, virtual] |
| product(const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) | StarHeightVisitor | [inline, virtual] |
| right_weight(const W_ &, const Node< M_, W_ > *node) | StarHeightVisitor | [inline, virtual] |
| set(size_t v) | StarHeightVisitor | [inline] |
| star(const Node< M_, W_ > *node) | StarHeightVisitor | [inline, virtual] |
| StarHeightVisitor() | StarHeightVisitor | [inline] |
| sum(const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) | StarHeightVisitor | [inline, virtual] |
| sum_or_product(const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) | StarHeightVisitor | [inline, protected] |
| weight_or_star(const Node< M_, W_ > *node) | StarHeightVisitor | [inline, protected] |
| zero() | StarHeightVisitor | [inline, virtual] |
| ~ConstNodeVisitor() | ConstNodeVisitor | [inline, virtual] |
