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 14 15:38:59 2004 for Vaucanson by
1.3.9.1