Bug List

Class BerrySethiAlgo

FIXME: Change the zero-letter.

FIXME: Check efficiency.

FIXME: Check results of derivation.

Member vcsn::BerrySethiAlgo::BerrySethiAlgo (const series_set_t &series, const exp_t &exp)

FIXME: Is it necessary to give the series as a separate argument?

Member vcsn::BrzozowskiAlgo::on_state (const Exp &e)

FIXME: Optimize!

Class KRatExpAciCanonical

FIXME: The algorithm is correct, but the implementation may not be efficient!

Class KRatExpInitialDerivation

FIXME: The algorithm is correct, but the implementation may not be efficient!

Class PRatExpDerivationVisitor

FIXME: This class heavily lacks of documentation.

FIXME: Make list be a unique container.

Member vcsn::SetSlotAttribute< S, true >::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.

Member vcsn::SetSlotAttribute< S, true >::SetSlotAttribute (const S &other)

Make a better self-contained description of the bug.

Class SupportIterator

is not STL compliant yet.

Member do_closure_here

FIXME: This converters should be removed

File evaluation.hh

FIXME: Document!

Member op_contains

FIXME Operators in krat.hxx are of the form:

Member op_in_mul

FIXME: Add the following transformation in a separated function.

Member op_in_mul

FIXME: Add the following transformation in a separated function.

Member op_mul

FIXME: Add the following transformation in a separated function.

File letter_to_letter_composition.hh

FIXME: Document!

File projection.hh

FIXME: Document!

File realtime_composition.hh

FIXME: Document!

Namespace utility

FIXME: utility::limits should be removed, or std::numeric_limits should not be used/specialized.

Member vcsn::algebra::FreeMonoidProduct::first_monoid ()

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

Member vcsn::algebra::FreeMonoid::alphabet ()

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

Member minimization_moore

Put the precondition.

Member co_minimization_moore

Put the precondition.

Member search

Multiple implementations of search() should be implemented. When a call to search is performed an heuristic should decide which implementation to use. For the moment there is no such mechanism since only one implementation of search is provided.

Member standardize

Not implemented yed

---