Vaucanson 1.4
|
Sub-normalization algorithm for FMP transducers. More...
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
template<class S , class T > | |
Element< S, T > | sub_normalize (const Element< S, T > &a) |
Sub-normalize a FMP transducer. | |
template<class S , class T > | |
void | sub_normalize_here (Element< S, T > &a) |
Sub-normalize a FMP transducer, in place version. | |
template<class S , class T > | |
bool | is_sub_normalized (const Element< S, T > &a) |
Check if a FMP transducer is sub-normalized. |
Sub-normalization algorithm for FMP transducers.
Definition in file sub_normalize.hxx.