| Class | Description |
|---|---|
| TSMiner |
Transition System Miner.
|
| TSMinerHelp | |
| TSMinerInput |
Transition System Miner Input.
|
| TSMinerOutput |
Transition System Miner Output.
|
| TSMinerPayload |
Transition System Miner Payload
These payloads are used as identifier objects for the states.
|
| TSMinerPayloadHandler | |
| TSMinerPlugin | |
| TSMinerTransitionSystem |