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