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).
|
Copyright © 2020. All rights reserved.