- Main Page
- Modules
- Namespaces
- Classes
- Files
- Related Pages

# Bug List

Class BerrySethiAlgo
  FIXME: Change the zero-letter.

Class BerrySethiAlgo
  FIXME: Check efficiency.

Class BerrySethiAlgo
  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
  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.

Class PRatExpDerivationVisitor
  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.

File evaluation.hh
  FIXME: Document!

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!

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.

Namespace vcsn::algebra
  FIXME Operators in krat.hxx are of the form:

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.