| 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.
|
Copyright © 2020. All rights reserved.