net.automatalib.serialization

Interface InputModelSerializer<I,M extends SimpleTS<?,I>>

Type Parameters:

I - the type of input symbols

M - the type of objects implementing classes can deserialize

All Superinterfaces:

ModelSerializer<InputModelData<I,M>>

All Known Subinterfaces:

InputModelSerializationProvider<I,OUT,IN>, SimpleAutomatonSerializationProvider<S,I>, SimpleAutomatonSerializer<I>

public interface InputModelSerializer<I,M extends SimpleTS<?,I>>
extends ModelSerializer<InputModelData<I,M>>

A refinement of the ModelSerializer interface for arbitrary models that can react to inputs. Introduces a new type variable for the input symbol type and limits the model type to SimpleTSs.

Author:

frohme

Method Summary

Modifier and Type	Method and Description
default void	writeModel(File f, M model, Alphabet<I> alphabet)
default void	writeModel(OutputStream os, InputModelData<I,M> model)
void	writeModel(OutputStream os, M model, Alphabet<I> alphabet)

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

writeModel

void writeModel(OutputStream os,
                M model,
                Alphabet<I> alphabet)
         throws IOException

Throws:

IOException

writeModel

default void writeModel(File f,
                        M model,
                        Alphabet<I> alphabet)
                 throws IOException

Throws:

IOException

writeModel

default void writeModel(OutputStream os,
                        InputModelData<I,M> model)
                 throws IOException

Specified by:

writeModel in interface ModelSerializer<InputModelData<I,M extends SimpleTS<?,I>>>

Throws:

IOException