Public Member Functions | |
StarHeightVisitor () | |
virtual void | product (const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) |
virtual void | sum (const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) |
virtual void | star (const Node< M_, W_ > *node) |
virtual void | left_weight (const W_ &, const Node< M_, W_ > *node) |
virtual void | right_weight (const W_ &, const Node< M_, W_ > *node) |
virtual void | constant (const M_ &m) |
virtual void | zero () |
virtual void | one () |
size_t | get () const |
size_t | set (size_t v) |
Protected Member Functions | |
void | sum_or_product (const Node< M_, W_ > *left_, const Node< M_, W_ > *right_) |
void | weight_or_star (const Node< M_, W_ > *node) |
Protected Attributes | |
size_t | h_ |
Definition at line 30 of file star_height_visitor.hh.