net.automatalib.serialization.saf

Class SAFSerializationNFA

java.lang.Object

net.automatalib.serialization.saf.SAFSerializationNFA

All Implemented Interfaces:

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

public final class SAFSerializationNFA
extends Object
implements InputModelSerializationProvider<Integer,NFA<?,Integer>,NFA<Integer,Integer>>

Method Summary

Modifier and Type	Method and Description
static SAFSerializationNFA	getInstance()
InputModelData<Integer,NFA<Integer,Integer>>	readModel(InputStream is)
void	writeModel(OutputStream os, NFA<?,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

Method Detail

getInstance

public static SAFSerializationNFA getInstance()

readModel

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

Specified by:

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

Throws:

IOException

writeModel

public void writeModel(OutputStream os,
                       NFA<?,Integer> model,
                       Alphabet<Integer> alphabet)
                throws IOException

Specified by:

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

Throws:

IOException