Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Constructor and Description |
---|
AntichainInvariantCheckingAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton automaton,
CospanDecomposition leftHandSide,
CospanDecomposition rightHandSide)
Creates a new
Action to execute the antichain-based invariant
check for the automaton automaton and the left- resp. right-hand
side leftHandSide and rightHandSide . |
AntichainLanguageInclusionAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton firstAutomaton,
Automaton secondAutomaton)
Creates a new
Action to execute the antichain-based language inclusion check for the
two automata firstAutomaton and secondAutomaton . |
AntichainUniversalityAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton automaton)
Creates a new
Action to execute the antichain-based universality check for the
automaton automaton . |
BisimulationUpToCongruenceInvariantCheckingAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton automaton,
CospanDecomposition leftHandSide,
CospanDecomposition rightHandSide)
Creates a new
Action to execute the bisimulation-up-to-congruence invariant check
for the automaton automaton and the left- resp. right-hand side leftHandSide
and rightHandSide . |
BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType type,
Automaton firstAutomaton,
Automaton secondAutomaton)
Creates a new
Action to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton and
secondAutomaton . |
BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton firstAutomaton,
Automaton secondAutomaton)
Creates a new
Action to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton and
secondAutomaton . |
EmptinessCheckAction(Algorithm.SearchType type,
Automaton automaton)
Creates a new
Action to execute the emptiness check for the automaton automaton . |
SimulationAntichainInvariantCheckingAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton automaton,
CospanDecomposition leftHandSide,
CospanDecomposition rightHandSide)
Creates a new
Action to execute the simulation-based invariant check for the
automaton automaton and the left- resp. right-hand side leftHandSide and
rightHandSide . |
SimulationAntichainLanguageInclusionAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton firstAutomaton,
Automaton secondAutomaton)
Creates a new
Action to execute the antichain-based language inclusion check for the
two automata firstAutomaton and secondAutomaton . |
SimulationAntichainUniversalityAction(Algorithm.SearchType type,
boolean computeCounterExample,
Automaton automaton)
Creates a new
Action to execute the antichain-based universality check for the
automaton automaton . |
SimulationComputationAction(Algorithm.SearchType type,
Automaton automaton)
Creates a new
Action to compute the simulation relation for the automaton
automaton |
SimulationComputationAction(Algorithm.SearchType type,
Automaton firstAutomaton,
Automaton secondAutomaton)
Creates a new
Action to compute the simulation relation for the automata
firstAutomaton and secondAutomaton |
Modifier and Type | Method and Description |
---|---|
static Algorithm.SearchType |
Algorithm.SearchType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Algorithm.SearchType[] |
Algorithm.SearchType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
AntichainInvariantChecking(Algorithm.SearchType type)
Creates a new instance of the antichain-based invariant checking algorithm.
|
AntichainInvariantChecking(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the antichain-based invariant checking algorithm.
|
AntichainLanguageInclusion(Algorithm.SearchType type)
Creates a new instance of the antichain-based language inclusion algorithm.
|
AntichainLanguageInclusion(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the antichain-based language inclusion algorithm.
|
AntichainUniversality(Algorithm.SearchType type)
Creates a new instance of the antichain-based universality algorithm.
|
AntichainUniversality(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the antichain-based universality algorithm.
|
BisimulationUpToCongruenceInvariantChecking(Algorithm.SearchType type)
Creates a new instance of the bisimulation-up-to-congruence algorithm.
|
BisimulationUpToCongruenceInvariantChecking(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the bisimulation-up-to-congruence algorithm.
|
BisimulationUpToCongruenceLanguageEquivalence(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the bisimulation-up-to-congruence algorithm.
|
BisimulationUpToCongruenceLanguageInclusion(Algorithm.SearchType type)
Creates a new instance of the bisimulation-up-to-congruence algorithm.
|
BisimulationUpToCongruenceLanguageInclusion(Algorithm.SearchType type,
boolean computeCounterExample)
Creates a new instance of the bisimulation-up-to-congruence algorithm.
|
SimulationAntichainInvariantChecking(Algorithm.SearchType searchType,
boolean computeCounterExample)
Creates a new instance of the simulation-based invariant checking algorithm.
|
SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based language inclusion algorithm.
|
SimulationAntichainLanguageInclusion(Algorithm.SearchType searchType,
boolean computeCounterExample)
Creates a new instance of the antichain-based language inclusion
algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType)
Creates a new instance of the antichain-based universality algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType)
Creates a new instance of the antichain-based universality algorithm.
|
SimulationAntichainUniversality(Algorithm.SearchType searchType,
Algorithm.OrderingType orderingType,
boolean computeCounterExample)
Creates a new instance of the antichain-based universality algorithm.
|