
Public Types | |
| typedef Auto_ | automaton_t | 
| typedef automaton_t::set_t | automata_set_t | 
| typedef automaton_t::series_set_t | series_set_t | 
| typedef automaton_t::series_set_elt_t | series_set_elt_t | 
| typedef series_set_elt_t::semiring_elt_t | semiring_elt_t | 
| typedef Monoid_ | monoid_elt_value_t | 
| typedef Semiring_ | semiring_elt_value_t | 
| 
typedef rat::Node< monoid_elt_value_t, semiring_elt_value_t >  | node_t | 
Public Member Functions | |
| ThompsonVisitor (const series_set_t &s) | |
| virtual | ~ThompsonVisitor () | 
| virtual void | product (const node_t *lhs, const node_t *rhs) | 
| virtual void | sum (const node_t *lhs, const node_t *rhs) | 
| virtual void | star (const node_t *node) | 
| virtual void | left_weight (const semiring_elt_value_t &w, const node_t *node) | 
| virtual void | right_weight (const semiring_elt_value_t &w, const node_t *node) | 
| virtual void | constant (const monoid_elt_value_t &m) | 
| virtual void | zero () | 
| virtual void | one () | 
| const automaton_t & | get_auto () const | 
Definition at line 36 of file thompson.hxx.
 1.5.1