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 |