KRatExpAciCanonical Struct Template Reference

Visitor to build a canonical form of an expression, following aci-rules. More...

Inherits vcsn::algebra::KRatExpMatcher< vcsn::KRatExpAciCanonical< Series, T, Dispatch >, T, std::set< vcsn::Element< Series, T > >, Dispatch >.

List of all members.

Public Member Functions

match (const T &ast)
 Effectively performs the match.


Detailed Description

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

Visitor to build a canonical form of an expression, following aci-rules.

See also:
canonical()
Bug:
FIXME: The algorithm is correct, but the implementation may not be efficient!

Definition at line 39 of file aci_canonical.hxx.


Member Function Documentation

U match ( const T &  ast  )  [inline, inherited]

Effectively performs the match.

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

Definition at line 128 of file krat_exp_pattern.hxx.

Referenced by vcsn::constant_term().


Generated on Thu Sep 17 22:01:56 2009 for Vaucanson by  doxygen 1.5.6