net.automatalib.serialization.etf.writer

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.

Author:

Jeroen Meijer

See Also:

the ETF format

Constructor Summary

Constructors

Constructor and Description
AbstractETFWriter()

Method Summary

Modifier and Type	Method and 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

Constructor Detail

AbstractETFWriter

public AbstractETFWriter()

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:

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.