KRatExpAciCanonical< Series, T, Dispatch > Struct Template Reference

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

Inherits KRatExpMatcher< Self, T, U, F >.

List of all members.

Public Member Functions
U	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 )

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().