---

Bug List

Member FreeMonoid()

FIXME: this interface should not exist (freemonoid is not defined without an alphabet)

Member alphabet()

FIXME: this interface should not exist (s.e. are const once instantiated)

Member SetSlotAttribute(const S &other)

For a number of reasons (see the mailing list), this constructor creates a fresh copy on the heap which is never deallocated.

Class utility::SupportIterator

is not STL compliant yet.

Member PRODUCT_EVENT

FIXME: This should be defined differently.

Member op_contains(const algebra::Series< W, M > &s, const rat::exp< Tm, Tw > &m)

FIXME Operators in krat.hxx are of the form:

 template<typename S, typename M ...> ... op(Series<S>& series, M& monoid, ...)  

and should be instead:

 template<typename S, typename M ...> ... op(Series<S>& series, Monoid<M>& monoid, ...)  

Member determinize(const Element< A, T > &a)

FIXME: for the moment, it uses subset_construction and trim but it must be rewritten to do the twice at the same time more efficiently.

Member standardize(Element< A, T > &a)

Not implemented yed

---