Uses of Package
net.automatalib.serialization
-
Packages that use net.automatalib.serialization Package Description 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.aut net.automatalib.serialization.automaton net.automatalib.serialization.dot net.automatalib.serialization.etf.writer net.automatalib.serialization.fsm.parser net.automatalib.serialization.learnlibv2 net.automatalib.serialization.saf net.automatalib.serialization.taf net.automatalib.serialization.taf.parser -
Classes in net.automatalib.serialization used by net.automatalib.serialization Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type.SerializationProvider A utility interface that unionsModelSerializer
andModelDeserializer
. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.aut Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.automaton Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.dot Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.etf.writer Class Description InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.fsm.parser Class Description FormatException ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.learnlibv2 Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializationProvider A utility interface that unionsInputModelSerializer
andInputModelDeserializer
and extendsSerializationProvider
.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type.SerializationProvider A utility interface that unionsModelSerializer
andModelDeserializer
. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.saf Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializationProvider A utility interface that unionsInputModelSerializer
andInputModelDeserializer
and extendsSerializationProvider
.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type.SerializationProvider A utility interface that unionsModelSerializer
andModelDeserializer
. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.taf Class Description InputModelData A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.InputModelDeserializer A refinement of theModelDeserializer
interface for arbitrary models that can react to inputs.InputModelSerializationProvider A utility interface that unionsInputModelSerializer
andInputModelDeserializer
and extendsSerializationProvider
.InputModelSerializer A refinement of theModelSerializer
interface for arbitrary models that can react to inputs.ModelDeserializer A generic interface for formalizing an arbitrary deserializer for a given model type.ModelSerializer A generic interface for formalizing an arbitrary serializer for a given model type.SerializationProvider A utility interface that unionsModelSerializer
andModelDeserializer
. -
Classes in net.automatalib.serialization used by net.automatalib.serialization.taf.parser Class Description FormatException