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.