net.automatalib.serialization.saf

Class SAFOutput

java.lang.Object

net.automatalib.serialization.saf.SAFOutput

public class SAFOutput
extends Object

Serializer for the SAF (simple automaton format).

Author:

frohme

Method Summary

Modifier and Type	Method and Description
<I,SP,TP> void	writeAutomaton(UniversalAutomaton<?,I,?,SP,TP> source, Alphabet<I> alphabet, net.automatalib.serialization.saf.AutomatonType expectedType, BlockPropertyEncoder<? super SP> spEncoder, SinglePropertyEncoder<? super TP> tpEncoder)
<I> void	writeDFA(DFA<?,I> automaton, Alphabet<I> alphabet)
void	writeHeader(net.automatalib.serialization.saf.AutomatonType type)
<I> void	writeNFA(NFA<?,I> automaton, Alphabet<I> alphabet)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

writeDFA

public <I> void writeDFA(DFA<?,I> automaton,
                         Alphabet<I> alphabet)
                  throws IOException

Throws:

IOException

writeAutomaton

public <I,SP,TP> void writeAutomaton(UniversalAutomaton<?,I,?,SP,TP> source,
                                     Alphabet<I> alphabet,
                                     net.automatalib.serialization.saf.AutomatonType expectedType,
                                     BlockPropertyEncoder<? super SP> spEncoder,
                                     SinglePropertyEncoder<? super TP> tpEncoder)
                              throws IOException

Throws:

IOException

writeHeader

public void writeHeader(net.automatalib.serialization.saf.AutomatonType type)
                 throws IOException

Throws:

IOException

writeNFA

public <I> void writeNFA(NFA<?,I> automaton,
                         Alphabet<I> alphabet)
                  throws IOException

Throws:

IOException