net.automatalib.serialization.taf

Class TAFSerialization

java.lang.Object

net.automatalib.serialization.taf.TAFSerialization

All Implemented Interfaces:

SerializationProvider

public class TAFSerialization
extends Object
implements SerializationProvider

Method Summary

Modifier and Type	Method and Description
static TAFSerialization	getInstance()
CompactDFA<Integer>	readGenericDFA(InputStream is)
CompactNFA<Integer>	readGenericNFA(InputStream is)
CompactDFA<String>	readNativeDFA(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, readNativeNFA, readNativeNFA, readNativeNFA, readNativeNFA, writeDFA, writeNFA

Method Detail

getInstance

public static TAFSerialization getInstance()

readGenericDFA

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

Specified by:

readGenericDFA in interface SerializationProvider

Throws:

IOException

readNativeDFA

public CompactDFA<String> readNativeDFA(InputStream is)

Specified by:

readNativeDFA in interface SerializationProvider

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