KRatExpExpander Struct Template Reference

Inheritance diagram for KRatExpExpander:

Inheritance graph
[legend]
List of all members.

Public Types

typedef pseudo_exp_list< Series,
T > 
trait
typedef trait::exp_t exp_t
typedef trait::ret_t return_type
typedef trait::exp_list_t exp_list_t
typedef KRatExpExpander< Series,
T, Dispatch > 
self_t
typedef Element< Series, T
>::semiring_elt_t 
semiring_elt_t
typedef semiring_elt_t::value_t semiring_elt_value_t
typedef Element< Series, T
>::monoid_elt_t 
monoid_elt_t
typedef monoid_elt_t::set_t monoid_t
typedef monoid_t::alphabet_t alphabet_t
typedef alphabet_t::letter_t letter_t
typedef T::monoid_elt_value_t monoid_elt_value_t

Public Member Functions

 KRatExpExpander (const exp_t &exp)
exp_t get ()
 MATCH__ (Product, lhs, rhs)
END MATCH__ (Sum, lhs, rhs)
END MATCH_ (Star, e)
END MATCH__ (LeftWeight, w, e)
END MATCH__ (RightWeight, e, w)
END MATCH_ (Constant, m)
END MATCH (Zero)
END MATCH (One)
pseudo_exp_list< Series, T
>::ret_t 
match (const T &ast)
 Effectively performs the match.

Detailed Description

template<class Series, class T, class Dispatch>
struct vcsn::algebra::KRatExpExpander< Series, T, Dispatch >

Definition at line 45 of file krat_exp_expand.hxx.


Member Function Documentation

pseudo_exp_list< Series, T >::ret_t match const T &  ast  )  [inherited]
 

Effectively performs the match.

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


Generated on Sat Jul 29 17:32:10 2006 for Vaucanson by  doxygen 1.4.6