Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainLanguageInclusionAction
Handles invocation of the antichain-based language inclusion check.
|
class |
BisimulationUpToCongruenceLanguageInclusionAction
Handles invocation of the bisimulation-up-to-congruence language inclusion
check.
|
class |
SimulationAntichainLanguageInclusionAction
Handles invocation of the simulation-based antichain language inclusion check.
|