forward_realtime.hh File Reference

Algorithms to make an automaton realtime. More...

Include dependency graph for forward_realtime.hh:

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

Go to the source code of this file.


namespace  vcsn


template<typename A, typename T>
void vcsn::forward_realtime_here (Element< A, T > &a)
 In place modification of the automaton to make it realtime.
template<typename A, typename T>
Element< A, T > vcsn::forward_realtime (const Element< A, T > &a)
 Returns a fresh realtime automaton.

Detailed Description

Algorithms to make an automaton realtime.

This file contains algorithms to build realtime automaton. These algorithms use the forward version of closure.

See also:
forward_realtime(), forward_realtime_here()

Definition in file forward_realtime.hh.

Generated on Fri Jul 28 12:24:19 2006 for Vaucanson by  doxygen 1.4.6