public class SimulationCheckingAction extends ComputationAction<Boolean>
Constructor and Description |
---|
SimulationCheckingAction(RavenBDD simulation,
RavenBDD firstSet,
RavenBDD secondSet)
Creates a new
Action to check for the automaton automaton whether the
state set firstSet is simulated by the state set secondSet . |
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.
|
Boolean |
getResult()
Returns the result of the computation.
|
addComputationListener, getElapsedTime, removeComputationListener
public SimulationCheckingAction(RavenBDD simulation, RavenBDD firstSet, RavenBDD secondSet)
Action
to check for the automaton automaton
whether the
state set firstSet
is simulated by the state set secondSet
.simulation
- the simulation which is used for the simulation checkfirstSet
- the state set which should be simulated by the second setsecondSet
- the state set which should simulate the first setpublic void execute()
Action
public Boolean getResult()
ComputationAction
getResult
in class ComputationAction<Boolean>
public void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<Boolean>
Action.execute()