
Public Types | |
| typedef Auto_ * | automaton_ptr_t |
| typedef Auto_ | automaton_t |
| typedef automaton_t::set_t | automata_set_t |
| typedef automaton_t::series_set_t | series_set_t |
| typedef automaton_t::monoid_t | monoid_t |
| typedef automaton_t::semiring_t | semiring_t |
| typedef automaton_t::series_set_elt_t | series_set_elt_t |
| typedef automaton_t::monoid_elt_t | monoid_elt_t |
| typedef automaton_t::semiring_elt_t | semiring_elt_t |
| typedef Exp_::monoid_elt_value_t | monoid_elt_value_t |
| typedef Exp_::semiring_elt_value_t | semiring_elt_value_t |
|
typedef Standard_OfVisitor< Exp_, Auto_, Dispatch_ > | this_class |
|
typedef algebra::KRatExpMatcher< this_class, Exp_, Auto_ *, Dispatch_ > | parent_class |
| typedef parent_class::return_type | return_type |
Public Member Functions | |
| Standard_OfVisitor (const series_set_t &series) | |
| MATCH__ (Product, lhs, rhs) | |
| END | MATCH__ (Sum, lhs, rhs) |
| END | MATCH_ (Star, node) |
| END | MATCH__ (LeftWeight, w, node) |
| END | MATCH__ (RightWeight, node, w) |
| END | MATCH_ (Constant, m) |
| END | MATCH (Zero) |
| END | MATCH (One) |
| Auto_ * | match (const Exp_ &ast) |
| Effectively performs the match. | |
Definition at line 35 of file standard_of.hxx.
|
|
Effectively performs the match.
Referenced by Standard_OfVisitor::MATCH_(), and Standard_OfVisitor::MATCH__(). |
1.4.6