KRatExpAciCanonical Struct Template Reference

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

List of all members.

---

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!

---