public class SAFOutput extends Object
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) |
public <I> void writeDFA(DFA<?,I> automaton, Alphabet<I> alphabet) throws IOException
IOException
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
IOException
public void writeHeader(net.automatalib.serialization.saf.AutomatonType type) throws IOException
IOException
public <I> void writeNFA(NFA<?,I> automaton, Alphabet<I> alphabet) throws IOException
IOException
Copyright © 2018. All rights reserved.