A D G M N W
All Classes All Packages

A

AbstractETFWriter<I,A extends Automaton<?,I,?>> - Class in net.automatalib.serialization.etf.writer

This class provides methods to write automata in LTSmin's ETF format.

AbstractETFWriter() - Constructor for class net.automatalib.serialization.etf.writer.AbstractETFWriter

D

DFA2ETFWriter<I> - Class in net.automatalib.serialization.etf.writer

Write a DFA to ETF.

G

getInstance() - Static method in class net.automatalib.serialization.etf.writer.DFA2ETFWriter

getInstance() - Static method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterAlternating

getInstance() - Static method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterIO

M

Mealy2ETFWriterAlternating<I,O> - Class in net.automatalib.serialization.etf.writer

Write a Mealy machine with alternating edge semantics.

Mealy2ETFWriterIO<I,O> - Class in net.automatalib.serialization.etf.writer

Write a Mealy machine with straightforward IO semantics.

N

net.automatalib.serialization.etf.writer - package net.automatalib.serialization.etf.writer

W

write(PrintWriter, A, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.AbstractETFWriter

Write the full ETF.

writeEdge(PrintWriter) - Method in class net.automatalib.serialization.etf.writer.AbstractETFWriter

Write an edge in the LTS.

writeEdge(PrintWriter) - Method in class net.automatalib.serialization.etf.writer.DFA2ETFWriter

Writes the type of the edge.

writeEdge(PrintWriter) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterAlternating

With alternating edge semantics, there are only edges with one label.

writeEdge(PrintWriter) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterIO

Write the edge type.

writeETF(PrintWriter, A, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.AbstractETFWriter

Write parts of the ETF that are dependent on A.

writeETF(PrintWriter, DFA<?, I>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.DFA2ETFWriter

Write DFA specific parts in the ETF.

writeETF(PrintWriter, MealyMachine<?, I, ?, O>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterAlternating

Write the specific parts of the ETF for Mealy machines with alternating edge semantics.

writeETF(PrintWriter, MealyMachine<?, I, ?, O>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterIO

Write ETF parts specific for Mealy machines with IO semantics.

writeModel(OutputStream, DFA<?, I>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.DFA2ETFWriter

writeModel(OutputStream, MealyMachine<?, I, ?, O>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterAlternating

writeModel(OutputStream, MealyMachine<?, I, ?, O>, Alphabet<I>) - Method in class net.automatalib.serialization.etf.writer.Mealy2ETFWriterIO

A D G M N W
All Classes All Packages