Public Member Functions | |
ListChooser (const list_t &l) | |
template<class Auto_> | |
Auto_::hstate_t | operator() (const Auto_ &a) |
This chooser is built using a std::list<unsigned int>. It returns the states of the automaton in the same order as in the list.
Definition at line 146 of file aut_to_exp.hh.