Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
Modifier and Type | Class and Description |
---|---|
class |
AntichainUniversalityAction
Handles invocation of the antichain-based universality check.
|
class |
SimulationAntichainUniversalityAction
Handles invocation of the simulation-based antichain universality check.
|