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) Writes the model to the given file.
default void	writeModel(OutputStream os, InputModelData<I,M> model) Writes the model to the given output stream.
void	writeModel(OutputStream os, M model, Alphabet<I> alphabet) Writes the model to the given output stream.

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

writeModel

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

Writes the model to the given output stream.

Note: the output stream will not be closed.

Parameters:

os - the output stream to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limit

Throws:

IOException - when writing to the output stream fails.

writeModel

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

Writes the model to the given file.

Parameters:

f - the file to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limit

Throws:

IOException - when writing to the output stream fails.

writeModel

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

Description copied from interface: ModelSerializer

Writes the model to the given output stream.

Note: the output stream will not be closed.

Specified by:

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

Parameters:

os - the output stream to write to

model - the model to write

Throws:

IOException - when writing to the output stream fails.