ltl_to_pair.hh File Reference

This file provides a transformation function that computes the pair letter automaton of an FMP automaton. More...

Include dependency graph for ltl_to_pair.hh:

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

Go to the source code of this file.

Namespaces

namespace  vcsn

Functions

Letter-to-letter FMP automaton to pair letter automaton algorithm.
Compute the pair letter automaton associated to an ltl FMP automaton.

template<typename S, typename T>
void ltl_to_pair (const Element< S, T > &ltl, typename mute_ltl_to_pair< S, T >::ret &res)
template<typename S, typename T>
mute_ltl_to_pair< S, T >::ret ltl_to_pair (const Element< S, T > &ltl)


Detailed Description

This file provides a transformation function that computes the pair letter automaton of an FMP automaton.

Author:
Jerome Galtier <jerome.galtier@lrde.epita.fr>
See also:
ltl_to_pair()

Definition in file ltl_to_pair.hh.


Generated on Mon Jul 6 17:46:22 2009 for Vaucanson by  doxygen 1.5.6