Bug List

Class BerrySethiAlgo< T_auto, S, T >

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!

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

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

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

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

Class KRatExpAciCanonical< Series, T, Dispatch >

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

Class KRatExpInitialDerivation< Series, T, Dispatch >

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

Class PRatExpDerivationVisitor< Series, T >

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< C >

is not STL compliant yet.

Member op_contains

FIXME Operators in krat.hxx are of the form:

File letter_to_letter_composition.hh

FIXME: Document!

Member auto_translate_transitions

Write documentation and tests.

Namespace vcsn

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

Member partial_elimination

The algorithm should be inplace.

Member co_minimization_moore

The precondition is not checked.

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.