I
- the input typeO
- the output typepublic final class Mealy2ETFWriterAlternating<I,O> extends AbstractETFWriter<I,MealyMachine<?,I,?,O>>
Constructor and Description |
---|
Mealy2ETFWriterAlternating() |
Modifier and Type | Method and Description |
---|---|
static <I,O> Mealy2ETFWriterAlternating<I,O> |
getInstance() |
protected void |
writeEdge(PrintWriter pw)
With alternating edge semantics, there are only edges with one label.
|
protected void |
writeETF(PrintWriter pw,
MealyMachine<?,I,?,O> mealy,
Alphabet<I> inputs)
Write the specific parts of the ETF for Mealy machines with alternating edge 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 MealyMachine to write to ETF.inputs
- the alphabet, the input alphabet.public void writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)
public static <I,O> Mealy2ETFWriterAlternating<I,O> getInstance()
Copyright © 2020. All rights reserved.