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.
|