Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Namespace Members | Class Members | File Members | Related Pages

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().

Definition at line 278 of file aut_to_exp.hxx.


Generated on Sun Jul 30 21:13:59 2006 for Vaucanson by  doxygen 1.3.9.1