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