IsFiniteAppMatcher Class Template Reference

Inheritance diagram for IsFiniteAppMatcher:

Inheritance graph
List of all members.

Public Types

typedef IsFiniteAppMatcher<
Series, T, Dispatch > 
typedef bool return_type
typedef T::semiring_elt_value_t semiring_elt_value_t
typedef T::monoid_elt_value_t monoid_elt_value_t

Public Member Functions

 IsFiniteAppMatcher ()
 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)
bool match (const T &ast)
 Effectively performs the match.

Detailed Description

template<class Series, class T, class Dispatch>
class vcsn::IsFiniteAppMatcher< Series, T, Dispatch >

Definition at line 26 of file krat_exp_is_finite_app.hxx.

Member Function Documentation

bool match const T &  ast  )  [inherited]

Effectively performs the match.

ast The object to perform the match on.
See also:

Referenced by IsFiniteAppMatcher::MATCH__(), and vcsn::op_is_finite_app().

Generated on Fri Jul 28 12:33:43 2006 for Vaucanson by  doxygen 1.4.6