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 Tue Nov 9 10:52:56 2004 for Vaucanson by
1.3.4