Vaucanson  1.4.1
Namespaces | Functions
projection.hh File Reference

Build FMP transducers from automata. More...

Include dependency graph for projection.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  vcsn
 The main namespace of the Vaucanson library.

Functions

template<typename auto_t , typename trans_t >
void set_states (const trans_t &, auto_t &, std::map< typename trans_t::hstate_t, typename auto_t::hstate_t > &)
template<typename S , typename S2 , typename T , typename T2 >
void identity (const Element< S, T > &aut, Element< S2, T2 > &res)
 Build an FMP transducer that realizes the identity relation.
template<typename S , typename S2 , typename T , typename T2 >
void partial_erase (const Element< S, T > &aut, Element< S2, T2 > &res)
 Build an FMP transducer that realizes the projection on the empty word.

Detailed Description

Build FMP transducers from automata.

Definition in file projection.hh.