public class BisimulationUpToCongruenceLanguageInclusionAction extends LanguageInclusionAction
Constructor and Description |
---|
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 . |
Modifier and Type | Method and Description |
---|---|
void |
cancelComputation()
Cancels the computation started by execution of this
ComputationAction . |
addComputationListener, execute, getCounterExample, getResult, removeComputationListener
getElapsedTime
public BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType type, boolean computeCounterExample, Automaton firstAutomaton, Automaton secondAutomaton)
Action
to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton
and
secondAutomaton
.type
- forward or backwardcomputeCounterExample
- if true
, the algorithm will compute
a counter-examplefirstAutomaton
- the first automaton used by the algorithmsecondAutomaton
- the second automaton used by the algorithmBisimulationUpToCongruenceLanguageEquivalence
public BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType type, Automaton firstAutomaton, Automaton secondAutomaton)
Action
to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton
and
secondAutomaton
.type
- forward or backwardfirstAutomaton
- the first automaton used by the algorithmsecondAutomaton
- the second automaton used by the algorithmBisimulationUpToCongruenceLanguageEquivalence
public void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<Boolean>
Action.execute()