
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 37 of file standard_of.hxx.
| Auto_ * match | ( | const Exp_ & | ast | ) | [inherited] |
Effectively performs the match.
| ast | The object to perform the match on. |
Referenced by Standard_OfVisitor::MATCH_(), and Standard_OfVisitor::MATCH__().
1.5.2