net.automatalib.serialization.saf

Class SAFSerialization

java.lang.Object

net.automatalib.serialization.saf.SAFSerialization

All Implemented Interfaces:

SerializationProvider

public class SAFSerialization
extends Object
implements SerializationProvider

Method Summary

Modifier and Type	Method and Description
static SAFSerialization	getInstance()
CompactDFA<Integer>	readGenericDFA(InputStream is)
CompactNFA<Integer>	readGenericNFA(InputStream is)
<I> void	writeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, OutputStream os)
<I> void	writeNFA(NFA<?,I> nfa, Alphabet<I> alphabet, OutputStream os)

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

encodeDFA, encodeNFA, readCustomDFA, readCustomDFA, readCustomDFA, readCustomDFA, readCustomNFA, readCustomNFA, readCustomNFA, readCustomNFA, readGenericDFA, readGenericDFA, readGenericDFA, readGenericNFA, readGenericNFA, readGenericNFA, readNativeDFA, readNativeDFA, readNativeDFA, readNativeDFA, readNativeNFA, readNativeNFA, readNativeNFA, readNativeNFA, writeDFA, writeNFA

Method Detail

getInstance

public static SAFSerialization getInstance()

readGenericDFA

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

Specified by:

readGenericDFA in interface SerializationProvider

Throws:

IOException

writeDFA

public <I> void writeDFA(DFA<?,I> dfa,
                         Alphabet<I> alphabet,
                         OutputStream os)
                  throws IOException

Specified by:

writeDFA in interface SerializationProvider

Throws:

IOException

readGenericNFA

public CompactNFA<Integer> readGenericNFA(InputStream is)
                                   throws IOException

Specified by:

readGenericNFA in interface SerializationProvider

Throws:

IOException

writeNFA

public <I> void writeNFA(NFA<?,I> nfa,
                         Alphabet<I> alphabet,
                         OutputStream os)
                  throws IOException

Specified by:

writeNFA in interface SerializationProvider

Throws:

IOException