public class AntichainInvariantCheckingAction extends InvariantCheckingAction
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 . |
Modifier and Type | Method and Description |
---|---|
void |
cancelComputation()
Cancels the computation started by execution of this
ComputationAction . |
addComputationListener, execute, getCounterExample, getResult, removeComputationListener
getElapsedTime
public AntichainInvariantCheckingAction(Algorithm.SearchType type, boolean computeCounterExample, Automaton automaton, CospanDecomposition leftHandSide, CospanDecomposition rightHandSide)
Action
to execute the antichain-based invariant
check for the automaton automaton
and the left- resp. right-hand
side leftHandSide
and rightHandSide
.type
- the search type used by the algorithm, either forward
or backward
computeCounterExample
- if true
, the algorithm will compute a counter-exampleautomaton
- the automaton used by the algorithmleftHandSide
- the left-hand side used by the algorithmrightHandSide
- the right-hand side used by the algorithmAntichainInvariantChecking
public void cancelComputation() throws IllegalStateException
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<Boolean>
IllegalStateException
- thrown if this method is invoked before the
execute
-method has been invokedAction.execute()