A N P W
All Classes All Packages

A

AUTParsers - Class in net.automatalib.serialization.aut

Facade for AUT parsing.

AUTWriter<I> - Class in net.automatalib.serialization.aut

A writer that exports automata to the AUT format.

AUTWriter() - Constructor for class net.automatalib.serialization.aut.AUTWriter

N

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

P

parser() - Static method in class net.automatalib.serialization.aut.AUTParsers

Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.

parser(Function<String, I>) - Static method in class net.automatalib.serialization.aut.AUTParsers

Constructs a InputModelDeserializer that reads an automaton description and writes it into a SimpleAutomaton.

parser(Function<String, I>, AutomatonCreator<A, I>) - Static method in class net.automatalib.serialization.aut.AUTParsers

Constructs a InputModelDeserializer that reads an automaton description and writes it into a given MutableAutomaton.

W

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

writeModel(OutputStream, SimpleAutomaton<?, I>, Alphabet<I>) - Method in class net.automatalib.serialization.aut.AUTWriter

A N P W
All Classes All Packages