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

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


Generated on Mon Mar 29 15:42:46 2004 for Vaucanson by doxygen 1.3.6-20040222