KRatExpInitialDerivation Struct Template Reference

Visitor to have an initial set of partial derivatives terms from an expression. More...

Inheritance diagram for KRatExpInitialDerivation:

Inheritance graph
[legend]
List of all members.

Public Types

typedef Element< Series, T > exp_t
typedef std::list< exp_tlist_t
typedef std::list< exp_treturn_type
typedef list_t::iterator iterator_t
typedef KRatExpInitialDerivation<
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 T::monoid_elt_value_t monoid_elt_value_t

Public Member Functions

 KRatExpInitialDerivation (const Element< Series, T > &exp)
 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)
std::list< Element< Series,
T > > 
match (const T &ast)
 Effectively performs the match.

Detailed Description

template<class Series, class T, class Dispatch>
struct vcsn::KRatExpInitialDerivation< Series, T, Dispatch >

Visitor to have an initial set of partial derivatives terms from an expression.

Bug:
FIXME: The algorithm is correct, but the implementation may not be efficient!

Definition at line 36 of file initial_derivation.hxx.


Member Function Documentation

std::list< Element< Series, T > > match const T &  ast  )  [inherited]
 

Effectively performs the match.

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

Referenced by vcsn::do_broken_derived_term_automaton().


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