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.

Interface Summary

Interface	Description
InputModelDeserializer<I,M extends SimpleTS<?,I>>	A refinement of the ModelDeserializer interface for arbitrary models that can react to inputs.
InputModelSerializationProvider<I,OUT extends SimpleTS<?,I>,IN extends SimpleTS<?,I>>	A utility interface that unions InputModelSerializer and InputModelDeserializer and extends SerializationProvider.
InputModelSerializer<I,M extends SimpleTS<?,I>>	A refinement of the ModelSerializer interface for arbitrary models that can react to inputs.
ModelDeserializer<M>	A generic interface for formalizing an arbitrary deserializer for a given model type.
ModelSerializer<M>	A generic interface for formalizing an arbitrary serializer for a given model type.
SerializationProvider<OUT,IN>	A utility interface that unions ModelSerializer and ModelDeserializer.

Class Summary

Class	Description
InputModelData<I,M extends SimpleTS<?,I>>	A utility data class, that allows to pair a model that can react to input symbols with a corresponding alphabet.

Exception Summary

Exception	Description
FormatException