SupportMatcher Class Template Reference

Inheritance diagram for SupportMatcher:

[legend]List of all members.

Public Types
typedef IsFiniteAppMatcher< Series, T, Dispatch >	self_t
typedef int	return_type
typedef Series	series_set_t
typedef Element< Series, T >	series_set_elt_t
typedef series_set_elt_t::monoid_elt_t	monoid_elt_t
typedef monoid_elt_t::value_t	monoid_elt_value_t
typedef series_set_elt_t::semiring_elt_t	semiring_elt_t
typedef semiring_elt_t::value_t	semiring_elt_value_t
typedef std::list< monoid_elt_value_t >	support_t
typedef std::list< std::pair< semiring_elt_value_t, monoid_elt_value_t > >	ext_support_t
Public Member Functions
	SupportMatcher (const series_set_t &s)
	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)
END support_t	get ()
ext_support_t &	ext_get ()
int	match (const T &ast)
	Effectively performs the match.

---

Detailed Description

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

Definition at line 27 of file krat_exp_support.hxx.

---

Member Function Documentation

int match (  const T &  ast  )  [inherited]

Effectively performs the match. Parameters: ast  The object to perform the match on. See also: DispatchVisitor::DispatchVisitor Referenced by SupportMatcher::MATCH__(), and vcsn::op_support().

---