net.automatalib.serialization.aut

Class AUTSerializationProvider

java.lang.Object

net.automatalib.serialization.aut.AUTSerializationProvider

All Implemented Interfaces:

SimpleAutomatonDeserializer<Integer,String>, SimpleAutomatonSerializationProvider<Integer,String>, SimpleAutomatonSerializer<String>, InputModelDeserializer<String,SimpleAutomaton<Integer,String>>, InputModelSerializer<String,SimpleAutomaton<?,String>>, ModelDeserializer<InputModelData<String,SimpleAutomaton<Integer,String>>>, ModelSerializer<InputModelData<String,SimpleAutomaton<?,String>>>

public final class AUTSerializationProvider
extends Object
implements SimpleAutomatonSerializationProvider<Integer,String>

Method Summary

Modifier and Type	Method and Description
static AUTSerializationProvider	getInstance()
<I2> InputModelData<I2,SimpleAutomaton<Integer,I2>>	readModel(InputStream is, Function<String,I2> inputTransformer)
<I2> void	writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,String> inputTransformer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

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

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Method Detail

getInstance

public static AUTSerializationProvider getInstance()

writeModel

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

Specified by:

writeModel in interface SimpleAutomatonSerializer<String>

Throws:

IOException

readModel

public <I2> InputModelData<I2,SimpleAutomaton<Integer,I2>> readModel(InputStream is,
                                                                     Function<String,I2> inputTransformer)
                                                              throws IOException

Specified by:

readModel in interface SimpleAutomatonDeserializer<Integer,String>

Throws:

IOException