Go to the source code of this file.
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. |
Algorithms to build realtime automaton. These algorithms use the backward version of eps_removal.
Definition in file backward_realtime.hh.