public class SimulationComputationAction extends ComputationAction<RavenBDD>
Constructor and Description |
---|
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 |
SimulationComputationAction(Automaton automaton)
Creates a new
Action to compute the simulation relation for the automaton
automaton |
SimulationComputationAction(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 |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this action. |
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.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public SimulationComputationAction(Algorithm.SearchType type, Automaton firstAutomaton, Automaton secondAutomaton)
Action
to compute the simulation relation for the automata
firstAutomaton
and secondAutomaton
type
- the search type used by the algorithm, either forward
or backward
firstAutomaton
- the first automaton for which the simulation relation is computedsecondAutomaton
- the second automaton for which the simulation relation is computedpublic SimulationComputationAction(Automaton firstAutomaton, Automaton secondAutomaton)
Action
to compute the simulation relation for the automata
firstAutomaton
and secondAutomaton
firstAutomaton
- the first automaton for which the simulation relation is computedsecondAutomaton
- the second automaton for which the simulation relation is computedpublic SimulationComputationAction(Algorithm.SearchType type, Automaton automaton)
Action
to compute the simulation relation for the automaton
automaton
type
- the search type used by the algorithm, either forward
or backward
automaton
- the automaton for which the simulation relation is computedpublic SimulationComputationAction(Automaton automaton)
Action
to compute the simulation relation for the automaton
automaton
automaton
- the automaton for which the simulation relation is computedpublic void execute()
Action
public RavenBDD getResult()
ComputationAction
getResult
in class ComputationAction<RavenBDD>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<RavenBDD>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<RavenBDD>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<RavenBDD>
Action.execute()