A G N R W

A

AUTParser - Class in net.automatalib.serialization.aut

A parser for automata specified in the AUT format (see http://cadp.inria.fr/man/aut.html for further information).

AUTSerializationProvider - Class in net.automatalib.serialization.aut

AUTWriter - Class in net.automatalib.serialization.aut

A utility class that exports automata to the AUT format (see http://cadp.inria.fr/man/aut.html for further information).

G

getInstance() - Static method in class net.automatalib.serialization.aut.AUTSerializationProvider

N

net.automatalib.serialization.aut - package net.automatalib.serialization.aut

R

readAutomaton(InputStream) - Static method in class net.automatalib.serialization.aut.AUTParser

readAutomaton(InputStream, Function<String, I>) - Static method in class net.automatalib.serialization.aut.AUTParser

readModel(InputStream, Function<String, I2>) - Method in class net.automatalib.serialization.aut.AUTSerializationProvider

W

writeAutomaton(SimpleAutomaton<S, I>, Alphabet<I>, OutputStream) - Static method in class net.automatalib.serialization.aut.AUTWriter

writeAutomaton(SimpleAutomaton<S, I>, Alphabet<I>, Function<I, String>, OutputStream) - Static method in class net.automatalib.serialization.aut.AUTWriter

writeModel(OutputStream, SimpleAutomaton<?, I2>, Alphabet<I2>, Function<I2, String>) - Method in class net.automatalib.serialization.aut.AUTSerializationProvider

A G N R W