Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainInvariantCheckingAction
Handles invocation of the antichain-based invariant check.
|
class |
BisimulationUpToCongruenceInvariantCheckingAction
Handles invocation of the bisimulation-up-to-congruence invariant check.
|
class |
SimulationAntichainInvariantCheckingAction
Handles invocation of the simulation-based antichain invariant check.
|