net.automatalib.serialization.automaton

Interface SimpleAutomatonSerializationProvider<S,I>

Type Parameters:

S - The state type of the de-serialized hypothesis

I - The default input symbol type

All Superinterfaces:

InputModelDeserializer<I,SimpleAutomaton<S,I>>, InputModelSerializer<I,SimpleAutomaton<?,I>>, ModelDeserializer<InputModelData<I,SimpleAutomaton<S,I>>>, ModelSerializer<InputModelData<I,SimpleAutomaton<?,I>>>, SimpleAutomatonDeserializer<S,I>, SimpleAutomatonSerializer<I>

All Known Implementing Classes:

AUTSerializationProvider

public interface SimpleAutomatonSerializationProvider<S,I>
extends SimpleAutomatonSerializer<I>, SimpleAutomatonDeserializer<S,I>

A utility interface that unions SimpleAutomatonSerializer and SimpleAutomatonDeserializer.

Note: These model-specific interfaces may be omitted if Java starts supporting higher-kinded generics (or we switch to a language that supports these).

Author:

frohme

Method Summary

Methods inherited from interface net.automatalib.serialization.automaton.SimpleAutomatonSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Methods inherited from interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

readModel, readModel

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel