
Public Types | |
| enum | |
Public Member Functions | |
| RandomVisitor (unsigned nb_star_max) | |
| RandomVisitor () | |
| 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_ > *) | 
| virtual void | right_weight (const W_ &, const Node< M_, W_ > *) | 
| virtual void | constant (const M_ &m) | 
| virtual void | zero () | 
| virtual void | one () | 
| M_ | get () const | 
Protected Attributes | |
| M_ | w_ | 
| bool | not_empty | 
| unsigned | nb_star_max_ | 
Definition at line 28 of file random_visitor.hh.
 1.5.1