
Public Member Functions | |
| LengthVisitor () | |
| 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 | s_ | 
Definition at line 30 of file length_visitor.hh.
 1.4.6