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__(). |