I
- the input type.public final class DFA2ETFWriter<I> extends AbstractETFWriter<I,DFA<?,I>>
Constructor and Description |
---|
DFA2ETFWriter() |
Modifier and Type | Method and Description |
---|---|
static <I> DFA2ETFWriter<I> |
getInstance() |
protected void |
writeEdge(PrintWriter pw)
Writes the type of the edge.
|
protected void |
writeETF(PrintWriter pw,
DFA<?,I> dfa,
Alphabet<I> inputs)
Write DFA specific parts in the ETF
|
void |
writeModel(OutputStream os,
DFA<?,I> model,
Alphabet<I> alphabet)
Writes the model to the given output stream.
|
write
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
writeModel, writeModel
writeModel
protected void writeEdge(PrintWriter pw)
writeEdge
in class AbstractETFWriter<I,DFA<?,I>>
pw
- the Writer.protected void writeETF(PrintWriter pw, DFA<?,I> dfa, Alphabet<I> inputs)
writeETF
in class AbstractETFWriter<I,DFA<?,I>>
pw
- the Writer.dfa
- the DFA to write.inputs
- the alphabet.public void writeModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
InputModelSerializer
Note: the output stream will not be closed.
os
- the output stream to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limitpublic static <I> DFA2ETFWriter<I> getInstance()
Copyright © 2020. All rights reserved.