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