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<unsigned int>. It returns the states of the automaton in the same order as in the list.

See also:
aut_to_exp().

Definition at line 146 of file aut_to_exp.hh.


Generated on Thu Sep 17 22:01:56 2009 for Vaucanson by  doxygen 1.5.6