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 |
Static Public Attributes | |
static const unsigned | nb_star_max_default = 5 |
Protected Attributes | |
M_ | w_ |
bool | not_empty |
unsigned | nb_star_max_ |
Definition at line 28 of file random_visitor.hh.