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.

---