A F I M N R S W
All Classes All Packages
All Classes All Packages
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
andInputModelDeserializer
and extendsSerializationProvider
. - 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
andModelDeserializer
. - SimpleAutomatonDeserializer<S,I> - Interface in net.automatalib.serialization.automaton
-
A refining interface of
InputModelDeserializer
that binds the model toSimpleAutomaton
s. - SimpleAutomatonSerializationProvider<S,I> - Interface in net.automatalib.serialization.automaton
-
A utility interface that unions
SimpleAutomatonSerializer
andSimpleAutomatonDeserializer
. - SimpleAutomatonSerializer<I> - Interface in net.automatalib.serialization.automaton
-
A refining interface of
InputModelSerializer
that binds the model toSimpleAutomaton
s.
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
All Classes All Packages