sub_normalize.hxx File Reference

Sub-normalization algorithm for FMP transducers. More...

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

Go to the source code of this file.

Namespaces

namespace  vcsn

Functions

template<class M1, class M2, class Auto>
bool vcsn::do_is_sub_normalized (const algebra::FreeMonoidProduct< M1, M2 > &, const Auto &a)
template<class Auto, class Label>
int vcsn::do_sub_normalize_transition (Auto &a, hstate_t start, hstate_t stop, const Label &label, bool initial, bool final)
template<class M1, class M2, class Auto, class Ret>
void vcsn::do_sub_normalize (const algebra::FreeMonoidProduct< M1, M2 > &, const Auto &a, Ret &res)
template<class S, class T>
Element< S, T > vcsn::sub_normalize (const Element< S, T > &a)
 Sub-normalize a FMP transducer.
template<class S, class T>
void vcsn::sub_normalize (const Element< S, T > &a, Element< S, T > &res)
template<class S, class T>
bool vcsn::is_sub_normalized (const Element< S, T > &a)
 Check if a FMP transducer is sub-normalized.


Detailed Description

Sub-normalization algorithm for FMP transducers.

Author:
Louis-Noel Pouchet <louis-noel.pouchet@lrde.epita.fr>

Definition in file sub_normalize.hxx.


Generated on Fri Jul 28 12:31:06 2006 for Vaucanson by  doxygen 1.4.6