ListChooser Class Reference
Chooser for aut_to_exp().
More...
List of all members.
Detailed Description
Chooser for aut_to_exp().
This chooser is built using a std::list<hstate_t>. It returns the states of the automaton with the same order as in the list.
- See also:
- aut_to_exp().
Generated on Thu Oct 27 12:52:10 2005 for Vaucanson by
1.4.1