net.automatalib.serialization.learnlibv2

Class LearnLibV2Serialization

java.lang.Object

net.automatalib.serialization.learnlibv2.LearnLibV2Serialization

All Implemented Interfaces:

InputModelDeserializer<Integer,DFA<Integer,Integer>>, InputModelSerializationProvider<Integer,DFA<?,Integer>,DFA<Integer,Integer>>, InputModelSerializer<Integer,DFA<?,Integer>>, ModelDeserializer<InputModelData<Integer,DFA<Integer,Integer>>>, ModelSerializer<InputModelData<Integer,DFA<?,Integer>>>, SerializationProvider<InputModelData<Integer,DFA<?,Integer>>,InputModelData<Integer,DFA<Integer,Integer>>>

public class LearnLibV2Serialization
extends Object
implements InputModelSerializationProvider<Integer,DFA<?,Integer>,DFA<Integer,Integer>>

Constructor Summary

Constructors

Constructor and Description
LearnLibV2Serialization()

Method Summary

Modifier and Type	Method and Description
static LearnLibV2Serialization	getInstance()
CompactDFA<Integer>	readGenericDFA(InputStream is)
InputModelData<Integer,DFA<Integer,Integer>>	readModel(InputStream is)
<I> void	writeGenericModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
void	writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)

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.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Constructor Detail

LearnLibV2Serialization

public LearnLibV2Serialization()

Method Detail

getInstance

public static LearnLibV2Serialization getInstance()

writeModel

public void writeModel(OutputStream os,
                       DFA<?,Integer> model,
                       Alphabet<Integer> alphabet)

Specified by:

writeModel in interface InputModelSerializer<Integer,DFA<?,Integer>>

writeGenericModel

public <I> void writeGenericModel(OutputStream os,
                                  DFA<?,I> model,
                                  Alphabet<I> alphabet)

readModel

public InputModelData<Integer,DFA<Integer,Integer>> readModel(InputStream is)
                                                       throws IOException

Specified by:

readModel in interface ModelDeserializer<InputModelData<Integer,DFA<Integer,Integer>>>

Throws:

IOException

readGenericDFA

public CompactDFA<Integer> readGenericDFA(@WillNotClose
                                          InputStream is)
                                   throws IOException

Throws:

IOException