DefaultChooser Struct Reference

Default chooser for aut_to_exp(). More...

List of all members.

Public Member Functions

template<class Auto_>
hstate_t operator() (const Auto_ &a) const


Detailed Description

Default chooser for aut_to_exp().

Precondition:
There must be at least one state in the automaton.
See also:
aut_to_exp()

Definition at line 49 of file aut_to_exp.hxx.


Generated on Sat Jul 29 17:29:01 2006 for Vaucanson by  doxygen 1.4.6