Package net.automatalib.serialization.aut

Class Summary

Class	Description
AUTParser	A parser for automata specified in the AUT format (see http://cadp.inria.fr/man/aut.html for further information).
AUTSerializationProvider
AUTWriter	A utility class that exports automata to the AUT format (see http://cadp.inria.fr/man/aut.html for further information).