Go to the source code of this file.
Namespaces | |
namespace | vcsn |
Functions | |
template<typename S, typename T> | |
Element< S, T > | realtime (const Element< S, T > &e) |
Compute the realtime version of a rational expression or an automata. | |
template<typename S, typename T> | |
void | realtime_here (Element< S, T > &e) |
Modify a rational expression or automata in place to make it realtime. | |
template<typename S, typename T> | |
bool | is_realtime (const Element< S, T > &e) |
Test whether an automaton or a rational expression is realtime. |
Actually, the realtime() function may appear in two headers: realtime.hh and krat_exp_realtime.hh. In both header files, this function has the same prototype, but different meanings, and expect to be called with different types.
This is the unique declaration of realtime(), which will then do the dispatch onto the right do_realtime() in function of its parameter.
*Please note that you should not include this file directly. Use realtime.hh or krat_exp_realtime.hh*.
Definition in file realtime_decl.hh.