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.