
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.4.7