I
- the input typeO
- the output typepublic final class Mealy2ETFWriterIO<I,O> extends AbstractETFWriter<I,MealyMachine<?,I,?,O>>
Constructor and Description |
---|
Mealy2ETFWriterIO() |
Modifier and Type | Method and Description |
---|---|
static <I,O> Mealy2ETFWriterIO<I,O> |
getInstance() |
protected void |
writeEdge(PrintWriter pw)
Write the edge type.
|
protected void |
writeETF(PrintWriter pw,
MealyMachine<?,I,?,O> mealy,
Alphabet<I> inputs)
Write ETF parts specific for Mealy machines with IO semantics.
|
void |
writeModel(OutputStream os,
MealyMachine<?,I,?,O> model,
Alphabet<I> alphabet) |
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,MealyMachine<?,I,?,O>>
pw
- the Writer.protected void writeETF(PrintWriter pw, MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs)
writeETF
in class AbstractETFWriter<I,MealyMachine<?,I,?,O>>
pw
- the Writer.mealy
- the Mealy machine to write.inputs
- the alphabet.public void writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)
public static <I,O> Mealy2ETFWriterIO<I,O> getInstance()
Copyright © 2019. All rights reserved.