Uses of Package
net.automatalib.serialization.etf.writer

Classes in net.automatalib.serialization.etf.writer used by net.automatalib.serialization.etf.writer

Class and Description
AbstractETFWriter This class provides methods to write automata in LTSmin's ETF format.
DFA2ETFWriter Write a DFA to ETF.
Mealy2ETFWriterAlternating Write a Mealy machine with alternating edge semantics.
Mealy2ETFWriterIO Write a Mealy machine with straightforward IO semantics.