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 SupportIterator

is not STL compliant yet.

Member PRODUCT_EVENT

FIXME: This should be defined differently.

Member do_accessible_states (const AutomataBase< A_ > &, const Auto_ &a)

FIXME: Do it with a better delta.

Member do_backward_closure_here (const AutomataBase< A_ > &, Auto &a)

FIXME: This converters should be removed

Member do_determinize (const AutomataBase< A > &a_set, output_t &output, const input_t &input)

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 do_forward_closure_here (const AutomataBase< A_ > &, Auto &a)

FIXME: This converters should be removed

Member product (const AutomataBase< A > &, output_t &output, const lhs_t &lhs, const rhs_t &rhs)

FIXME: Log history: It should be optional.

FIXME: Log history: It should be optional.

FIXME: Use a new version of delta.

FIXME: Log history: It should be optional.

FIXME: Log history: It should be optional.

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

Not implemented yed

---