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 |
---|---|
CospanCounterExample |
UniversalityAction.getCounterExample()
Returns the counterexample found by the algorithm.
|
CospanCounterExample |
LanguageInclusionAction.getCounterExample()
Returns the counter example, if the language of the first automaton is
not contained in the language of the second automaton, and
null
otherwise |
Modifier and Type | Method and Description |
---|---|
CospanCounterExample |
LanguageInclusionAlgorithm.getCounterExample()
Returns the counter example, if the language of the first automaton is
not contained in the language of the second automaton, and
null
otherwise |
CospanCounterExample |
SimulationAntichainUniversality.getCounterExample() |
CospanCounterExample |
SimulationAntichainLanguageInclusion.getCounterExample() |
CospanCounterExample |
UniversalityAlgorithm.getCounterExample()
Returns the counter example, if the language of the automaton is not
universal and
null otherwise |
CospanCounterExample |
AntichainUniversality.getCounterExample() |
CospanCounterExample |
BisimulationUpToCongruenceLanguageInclusion.getCounterExample() |
CospanCounterExample |
AntichainLanguageInclusion.getCounterExample() |
CospanCounterExample |
LanguageEquivalenceAlgorithm.getLanguageEquivalenceCounterExample()
Returns the counter example, if the language of the first automaton is
not equivalent to the language of the second automaton, and
null
otherwise |
CospanCounterExample |
BisimulationUpToCongruenceLanguageEquivalence.getLanguageEquivalenceCounterExample() |