PRatExpDerivationVisitor Class Template Reference

This class performs partial rational expression derivations. More...

Inheritance diagram for PRatExpDerivationVisitor:

Inheritance graph
[legend]
List of all members.

Public Types

typedef Element< Series, T > exp_t
typedef T series_set_elt_value_t
typedef T::node_t node_t
typedef std::list< PartialExp<
Series, T > > 
return_type
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::value_t monoid_elt_value_t
typedef monoid_elt_t::set_t monoid_t
typedef monoid_t::alphabet_t alphabet_t
typedef alphabet_t::letter_t letter_t

Public Member Functions

 PRatExpDerivationVisitor (const exp_t &exp, const letter_t &a)
virtual ~PRatExpDerivationVisitor ()
void match (const node_t *node)
virtual void product (const node_t *lhs, const node_t *rhs)
virtual void sum (const node_t *lhs, const node_t *rhs)
virtual void star (const node_t *node)
virtual void left_weight (const semiring_elt_value_t &w, const node_t *node)
virtual void right_weight (const semiring_elt_value_t &w, const node_t *node)
virtual void constant (const monoid_elt_value_t &m)
virtual void zero ()
virtual void one ()

Public Attributes

bool undefined
return_type result

Detailed Description

template<typename Series, typename T>
class vcsn::PRatExpDerivationVisitor< Series, T >

This class performs partial rational expression derivations.

Bug:
FIXME: This class heavily lacks of documentation.

FIXME: Make list be a unique container.

Definition at line 93 of file partial_rat_exp_derivation.hxx.


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