Public Types | |
| typedef Auto | automaton_t | 
| typedef TransitionConverter | transition_converter_t | 
| typedef Format | format_t | 
Public Member Functions | |
| automaton_saver_ (const Auto &, const TransitionConverter &, const Format &) | |
| automaton_t & | automaton () | 
| const automaton_t & | automaton () const | 
Protected Attributes | |
| const automaton_t & | a_ | 
| transition_converter_t | conv_ | 
| format_t | format_ | 
Definition at line 38 of file io.hh.
 1.5.1