A F I M N R S W
All Classes All Packages

A

alphabet - Variable in class net.automatalib.serialization.InputModelData

F

FormatException - Exception in net.automatalib.serialization

FormatException() - Constructor for exception net.automatalib.serialization.FormatException

FormatException(String) - Constructor for exception net.automatalib.serialization.FormatException

FormatException(String, Throwable) - Constructor for exception net.automatalib.serialization.FormatException

FormatException(Throwable) - Constructor for exception net.automatalib.serialization.FormatException

I

InputModelData<I,M extends SimpleTS<?,I>> - Class in net.automatalib.serialization

A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.

InputModelData(M, Alphabet<I>) - Constructor for class net.automatalib.serialization.InputModelData

InputModelDeserializer<I,M extends SimpleTS<?,I>> - Interface in net.automatalib.serialization

A refinement of the ModelDeserializer interface for arbitrary models that can react to inputs.

InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>> - Interface in net.automatalib.serialization

A utility interface that unions InputModelSerializer and InputModelDeserializer and extends SerializationProvider.

InputModelSerializer<I,M extends SimpleTS<?,I>> - Interface in net.automatalib.serialization

A refinement of the ModelSerializer interface for arbitrary models that can react to inputs.

M

model - Variable in class net.automatalib.serialization.InputModelData

ModelDeserializer<M> - Interface in net.automatalib.serialization

A generic interface for formalizing an arbitrary deserializer for a given model type.

ModelSerializer<M> - Interface in net.automatalib.serialization

A generic interface for formalizing an arbitrary serializer for a given model type.

N

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

This package (including sub-packages) contains several (de-) serializers for the different types of automata, transition systems, and graphs supported by AutomataLib.

net.automatalib.serialization.automaton - package net.automatalib.serialization.automaton

R

readModel(byte[]) - Method in interface net.automatalib.serialization.ModelDeserializer

Reads the contents from the given byte buffer and de-serializes it into a model instance.

readModel(byte[], Function<I, I2>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

Reads the contents from the given byte buffer and de-serializes it into a InputModelData that contains the model and its alphabet definition.

readModel(File) - Method in interface net.automatalib.serialization.ModelDeserializer

Reads the contents from the given file and de-serializes it into a model instance.

readModel(File, Function<I, I2>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

Reads the contents from the given file and de-serializes it into a InputModelData that contains the model and its alphabet definition.

readModel(InputStream) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

readModel(InputStream) - Method in interface net.automatalib.serialization.ModelDeserializer

Reads the contents from the given input stream and de-serializes it into a model instance.

readModel(InputStream, Function<I, I2>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

Reads the contents from the given input stream and de-serializes it into a InputModelData that contains the model and its alphabet definition.

readModel(URL) - Method in interface net.automatalib.serialization.ModelDeserializer

Reads the contents from the given URL and de-serializes it into a model instance.

readModel(URL, Function<I, I2>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

Reads the contents from the given URL and de-serializes it into a InputModelData that contains the model and its alphabet definition.

S

SerializationProvider<OUT,IN> - Interface in net.automatalib.serialization

A utility interface that unions ModelSerializer and ModelDeserializer.

SimpleAutomatonDeserializer<S,I> - Interface in net.automatalib.serialization.automaton

A refining interface of InputModelDeserializer that binds the model to SimpleAutomatons.

SimpleAutomatonSerializationProvider<S,I> - Interface in net.automatalib.serialization.automaton

A utility interface that unions SimpleAutomatonSerializer and SimpleAutomatonDeserializer.

SimpleAutomatonSerializer<I> - Interface in net.automatalib.serialization.automaton

A refining interface of InputModelSerializer that binds the model to SimpleAutomatons.

W

writeModel(File, M) - Method in interface net.automatalib.serialization.ModelSerializer

Writes the model to the given file.

writeModel(File, M, Alphabet<I>) - Method in interface net.automatalib.serialization.InputModelSerializer

Writes the model to the given file.

writeModel(File, SimpleAutomaton<?, I2>, Alphabet<I2>, Function<I2, I>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonSerializer

Writes the model to the given file.

writeModel(OutputStream, M) - Method in interface net.automatalib.serialization.ModelSerializer

Writes the model to the given output stream.

writeModel(OutputStream, M, Alphabet<I>) - Method in interface net.automatalib.serialization.InputModelSerializer

Writes the model to the given output stream.

writeModel(OutputStream, SimpleAutomaton<?, I>, Alphabet<I>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonSerializer

writeModel(OutputStream, SimpleAutomaton<?, I2>, Alphabet<I2>, Function<I2, I>) - Method in interface net.automatalib.serialization.automaton.SimpleAutomatonSerializer

Writes the model to the given output stream.

writeModel(OutputStream, InputModelData<I, M>) - Method in interface net.automatalib.serialization.InputModelSerializer

A F I M N R S W
All Classes All Packages