IsFiniteAppMatcher Class Template Reference

Inheritance diagram for IsFiniteAppMatcher:

[legend]List of all members.

Public Types
typedef IsFiniteAppMatcher< Series, T, Dispatch >	self_t
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)
END	MATCH (Zero)
END	MATCH (One)
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. Parameters: ast  The object to perform the match on. See also: DispatchVisitor::DispatchVisitor Referenced by IsFiniteAppMatcher::MATCH__(), and vcsn::op_is_finite_app().

---