Package | Description |
---|---|
net.automatalib.serialization.etf.writer |
Modifier and Type | Class and Description |
---|---|
class |
DFA2ETFWriter<I>
Write a DFA to ETF.
|
class |
Mealy2ETFWriterAlternating<I,O>
Write a Mealy machine with alternating edge semantics.
|
class |
Mealy2ETFWriterIO<I,O>
Write a Mealy machine with straightforward IO semantics.
|
Copyright © 2020. All rights reserved.