Class AbstractETFWriter<I,A extends Automaton<?,I,?>>
- java.lang.Object
-
- net.automatalib.serialization.etf.writer.AbstractETFWriter<I,A>
-
- All Implemented Interfaces:
InputModelSerializer<I,A>
,ModelSerializer<InputModelData<I,A>>
- Direct Known Subclasses:
DFA2ETFWriter
,Mealy2ETFWriterAlternating
,Mealy2ETFWriterIO
public abstract class AbstractETFWriter<I,A extends Automaton<?,I,?>> extends Object implements InputModelSerializer<I,A>
This class provides methods to write automata in LTSmin's ETF format.- See Also:
- the ETF format
-
-
Constructor Summary
Constructors Constructor Description AbstractETFWriter()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected void
write(PrintWriter printWriter, A a, Alphabet<I> inputs)
Write the full ETF.protected abstract void
writeEdge(PrintWriter printWriter)
Write an edge in the LTS.protected abstract void
writeETF(PrintWriter printWriter, A a, Alphabet<I> inputs)
Write parts of the ETF that are dependent on A.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.serialization.InputModelSerializer
writeModel, writeModel, writeModel
-
Methods inherited from interface net.automatalib.serialization.ModelSerializer
writeModel
-
-
-
-
Method Detail
-
writeEdge
protected abstract void writeEdge(PrintWriter printWriter)
Write an edge in the LTS. Edges in specializations could be different; e.g. Mealy machines have two edge labels, and DFAs have one edge.- Parameters:
printWriter
- the Writer.
-
writeETF
protected abstract void writeETF(PrintWriter printWriter, A a, Alphabet<I> inputs)
Write parts of the ETF that are dependent on A.- Parameters:
printWriter
- the Writer.a
- the automaton to write.inputs
- the alphabet.
-
write
protected final void write(PrintWriter printWriter, A a, Alphabet<I> inputs)
Write the full ETF.- Parameters:
printWriter
- the Writer.a
- the automaton to write.inputs
- the alphabet.
-
-