Package 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).

Method Summary

Modifier and Type	Method	Description
<I,SP,TP> void	writeAutomaton(UniversalAutomaton<?,I,?,SP,TP> source, Alphabet<I> alphabet, AutomatonType expectedType, BlockPropertyEncoder<? super SP> spEncoder, SinglePropertyEncoder<? super TP> tpEncoder)
<I> void	writeDFA(DFA<?,I> automaton, Alphabet<I> alphabet)
void	writeHeader(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,
                                                 AutomatonType expectedType,
                                                 BlockPropertyEncoder<? super SP> spEncoder,
                                                 SinglePropertyEncoder<? super TP> tpEncoder)
                                          throws IOException

Throws:

IOException

writeHeader

public void writeHeader(AutomatonType type)
                 throws IOException

Throws:

IOException

writeNFA

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

Throws:

IOException