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