Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

Bug List

Class BerrySethiAlgo
FIXME: Change the zero-letter.

FIXME: Check efficiency.

FIXME: Check results of derivation.

Member BerrySethiAlgo (const series_set_t &series, const exp_t &exp)
FIXME: Is it necessary to give the series as a separate argument?

Member on_state (const Exp &e)
FIXME: Optimize!

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

Member 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.

FIXME: Make list be a unique container.

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.

Make a better self-contained description of the bug.

Class SupportIterator
is not STL compliant yet.

Member do_eps_removal_here (const AutomataBase< A_ > &, Auto &a, bool bck_fwd)
FIXME: This converters should be removed

File evaluation.hh
FIXME: Document!

Member op_contains (const algebra::Series< W, M > &s, const rat::exp< Tm, Tw > &m)
FIXME Operators in krat.hxx are of the form:

Member op_in_mul (const algebra::Series< W, M > &s, rat::exp< Tm, Tw > &dst, const rat::exp< Tm, Tw > &arg)
FIXME: Add the following transformation in a separated function.

Member op_in_mul (const algebra::Series< W, M > &s, const W &semiring, rat::exp< Tm, Tw > &ret, const oTw &w)
FIXME: Add the following transformation in a separated function.

Member op_mul (const W &semiring, const algebra::Series< W, M > &s, const oTw &w, const rat::exp< Tm, Tw > &b)
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 vcsn
FIXME: misc::limits should be removed, or std::numeric_limits should not be used/specialized.

Member minimization_moore (const Element< A, T > &a)
Put the precondition.

Member co_minimization_moore (const Element< A, T > &a)
Put the precondition.

Member search (const Element< Automata< Series >, T > &a, const InputIterator &begin, const InputIterator &end, typename Element< Automata< Series >, T >::letter_t eol, FoundFunctor &f)
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 (Element< A, T > &a)
Not implemented yed

Generated on Sun Jul 30 21:13:58 2006 for Vaucanson by  doxygen 1.3.9.1