DefaultChooser Struct Reference

Default chooser for aut_to_exp(). More...

List of all members.


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 92 of file aut_to_exp.hh.


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