Public Member Functions | |
| template<class OStream> | |
| void | save (const Auto &a, OStream &out, const std::string &name="") |
| Save automaton to stream. | |
| template<class IStream> | |
| void | load (Auto &a, IStream &in) |
| Load automaton from stream. | |
| Auto | Type of the automaton to load / save. |
|
||||||||||||||||
|
Save automaton to stream.
|
|
||||||||||||
|
Load automaton from stream.
|
1.4.1