net.automatalib.serialization.automaton

Interface SimpleAutomatonDeserializer<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>>, ModelDeserializer<InputModelData<I,SimpleAutomaton<S,I>>>

All Known Subinterfaces:

SimpleAutomatonSerializationProvider<S,I>

All Known Implementing Classes:

AUTSerializationProvider

public interface SimpleAutomatonDeserializer<S,I>
extends InputModelDeserializer<I,SimpleAutomaton<S,I>>

A refining interface of InputModelDeserializer that binds the model to SimpleAutomatons. It also adds new functionality to read systems of arbitrary input type given a transform function from the default input type (specified by implementing class).

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

Modifier and Type	Method and Description
default InputModelData<I,SimpleAutomaton<S,I>>	readModel(InputStream is)
<I2> InputModelData<I2,SimpleAutomaton<S,I2>>	readModel(InputStream is, Function<I,I2> inputTransformer)

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Method Detail

readModel

<I2> InputModelData<I2,SimpleAutomaton<S,I2>> readModel(InputStream is,
                                                        Function<I,I2> inputTransformer)
                                                 throws IOException

Throws:

IOException

readModel

default InputModelData<I,SimpleAutomaton<S,I>> readModel(InputStream is)
                                                  throws IOException

Specified by:

readModel in interface ModelDeserializer<InputModelData<I,SimpleAutomaton<S,I>>>

Throws:

IOException