net.automatalib.serialization.learnlibv2

Class LearnLibV2Serialization

java.lang.Object

net.automatalib.serialization.learnlibv2.LearnLibV2Serialization

All Implemented Interfaces:

SerializationProvider

public class LearnLibV2Serialization
extends Object
implements SerializationProvider

Constructor Summary

Constructors

Constructor and Description
LearnLibV2Serialization()

Method Summary

Modifier and Type	Method and Description
static LearnLibV2Serialization	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

Constructor Detail

LearnLibV2Serialization

public LearnLibV2Serialization()

Method Detail

getInstance

public static LearnLibV2Serialization getInstance()

readGenericDFA

public CompactDFA<Integer> readGenericDFA(@WillNotClose
                                          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