composition_cover.hxx File Reference

Composition (co-)cover algorithms for normalized and sub-normalized transducers seen as automaton over a free monoid. More...

Include dependency graph for composition_cover.hxx:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  vcsn

Functions

template<typename S, typename M1, typename M2, typename Auto_t>
void vcsn::do_composition_cover (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const Auto_t &fmp, Auto_t &ret)
template<typename S, typename M1, typename M2, typename Auto_t>
void vcsn::do_composition_co_cover (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const Auto_t &fmp, Auto_t &ret)
template<typename S, typename T>
Element< S, T > vcsn::composition_cover (const Element< S, T > &fmp)
 Facade for composition cover.
template<typename S, typename T>
void vcsn::composition_cover (const Element< S, T > &fmp, Element< S, T > &ret)
template<typename S, typename T>
Element< S, T > vcsn::composition_co_cover (const Element< S, T > &fmp)
 Facade for composition co-cover.
template<typename S, typename T>
void vcsn::composition_co_cover (const Element< S, T > &fmp, Element< S, T > &ret)


Detailed Description

Composition (co-)cover algorithms for normalized and sub-normalized transducers seen as automaton over a free monoid.

Author:
Guillaume Leroi
Date:
Sat Jul 22 18:03:02 2006

Definition in file composition_cover.hxx.


Generated on Sat Jul 29 17:14:35 2006 for Vaucanson by  doxygen 1.4.6