ListChooser Class Reference

Chooser for aut_to_exp(). More...

List of all members.

Public Member Functions

 ListChooser (const std::list< hstate_t > &l)
template<class Auto_>
hstate_t operator() (const Auto_ &)

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:

Definition at line 278 of file aut_to_exp.hxx.

Generated on Fri Jul 28 12:33:47 2006 for Vaucanson by  doxygen 1.4.6