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 Thu Oct 27 12:52:10 2005 for Vaucanson by
1.4.1