Package net.automatalib.serialization.etf.writer

Class Summary

Class	Description
AbstractETFWriter<I,A extends Automaton<?,I,?>>	This class provides methods to write automata in LTSmin's ETF format.
DFA2ETFWriter<I>	Write a DFA to ETF.
Mealy2ETFWriterAlternating<I,O>	Write a Mealy machine with alternating edge semantics.
Mealy2ETFWriterIO<I,O>	Write a Mealy machine with straightforward IO semantics.