Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

backward_realtime.hh File Reference

Algorithms to make an automaton realtime. More...

Include dependency graph for backward_realtime.hh:

Include dependency graph

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

Included by dependency graph

Namespaces

namespace  vcsn

Functions

template<typename A, typename T>
void backward_realtime_here (Element< A, T > &a)
 In place modification of the automaton to make it realtime.
template<typename A, typename T>
Element< A, T > backward_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 backward version of closure.

See also:
backward_realtime(), backward_realtime_here()

Generated on Thu Oct 14 15:38:00 2004 for Vaucanson by  doxygen 1.3.9.1