Declaration of the realtime() function. More...
Include dependency graph for realtime_decl.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
The main namespace of the Vaucanson library. | |
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. | |
Detailed Description
Declaration of the realtime() function.
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*.
- See also:
- realtime(), realtime.hh, krat_exp_realtime.hh
Definition in file realtime_decl.hh.
