Public Types | |
| typedef Auto | automaton_t |
| typedef TransitionConverter | transition_converter_t |
| typedef Format | format_t |
Public Member Functions | |
| automaton_loader_ (automaton_t &a, const transition_converter_t &conv, const format_t &format, bool merge_states) | |
| automaton_t & | automaton () |
| const automaton_t & | automaton () const |
| hstate_t | add_state (unsigned) |
| void | set_initial (unsigned, const std::string &) |
| void | set_final (unsigned, const std::string &) |
| void | add_transition (unsigned, unsigned, const std::string &) |
| void | add_spontaneous (unsigned, unsigned) |
Protected Attributes | |
| automaton_t & | a_ |
| transition_converter_t | conv_ |
| format_t | format_ |
| unsigned | scount_ |
| std::map< unsigned, hstate_t > | smap_ |
| bool | merge_states_ |
Definition at line 93 of file io.hh.
1.4.6