net.automatalib.serialization.automaton

Interface SimpleAutomatonSerializer<I>

Type Parameters:

I - The default input symbol type

All Superinterfaces:

InputModelSerializer<I,SimpleAutomaton<?,I>>, ModelSerializer<InputModelData<I,SimpleAutomaton<?,I>>>

All Known Subinterfaces:

SimpleAutomatonSerializationProvider<S,I>

All Known Implementing Classes:

AUTSerializationProvider

public interface SimpleAutomatonSerializer<I>
extends InputModelSerializer<I,SimpleAutomaton<?,I>>

A refining interface of InputModelSerializer that binds the model to SimpleAutomatons. It also adds new functionality to dynamically serialize systems of arbitrary input type if a transformer to the default input type (specified by implementing class) is given.

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 void	writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet)
<I2> void	writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)

Methods inherited from interface net.automatalib.serialization.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

writeModel

<I2> void writeModel(OutputStream os,
                     SimpleAutomaton<?,I2> model,
                     Alphabet<I2> alphabet,
                     Function<I2,I> inputTransformer)
              throws IOException

Throws:

IOException

writeModel

default void writeModel(OutputStream os,
                        SimpleAutomaton<?,I> model,
                        Alphabet<I> alphabet)
                 throws IOException

Specified by:

writeModel in interface InputModelSerializer<I,SimpleAutomaton<?,I>>

Throws:

IOException