public class ReachabilityAction extends ComputationAction<RavenBDD>
Constructor and Description |
---|
ReachabilityAction(Automaton automaton,
CospanDecomposition decomposition)
Creates an action which computes all states for the automaton
automaton which are
reachable by processing the cospan decomposition decomposition . |
Modifier and Type | Method and Description |
---|---|
void |
cancelComputation()
Cancels the computation started by execution of this
ComputationAction . |
void |
execute()
Causes this action to begin execution.
|
RavenBDD |
getResult()
Returns the result of the computation.
|
addComputationListener, getElapsedTime, removeComputationListener
public ReachabilityAction(Automaton automaton, CospanDecomposition decomposition)
automaton
which are
reachable by processing the cospan decomposition decomposition
. The states, which are
represented by a BDD, are stored in the repository with the name name
.automaton
- the automaton to be useddecomposition
- the cospan decomposition to be usedpublic void execute()
Action
public RavenBDD getResult()
ComputationAction
getResult
in class ComputationAction<RavenBDD>
public void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<RavenBDD>
Action.execute()