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