SupportMatcher Class Template Reference

Inheritance diagram for SupportMatcher:

Inheritance graph
[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_tsupport_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_text_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().


Generated on Sat Jul 29 17:28:59 2006 for Vaucanson by  doxygen 1.4.6