Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Method and Description |
---|---|
RuleCounterExample |
InvariantCheckingAction.getCounterExample()
Returns the counter example, if the language of the automaton is not
an invariant for the graph transformation rule, and
null otherwise |
Modifier and Type | Method and Description |
---|---|
RuleCounterExample |
AntichainInvariantChecking.getInvariantCounterExample() |
RuleCounterExample |
SimulationAntichainInvariantChecking.getInvariantCounterExample() |
RuleCounterExample |
InvariantCheckingAlgorithm.getInvariantCounterExample()
Returns the counter example, if the language of the automaton is not
an invariant for the graph transformation rule, and
null otherwise |
RuleCounterExample |
BisimulationUpToCongruenceInvariantChecking.getInvariantCounterExample() |