public class ShiftAutomatonAction extends ComputationAction<Automaton>
Constructor and Description |
---|
ShiftAutomatonAction(Automaton automaton,
Cospan cospan)
Creates an action which constructs the product automaton for two given automata.
|
ShiftAutomatonAction(Automaton automaton,
CospanDecomposition decomposition)
Creates an action which constructs the product automaton for two given automata.
|
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.
|
Automaton |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public ShiftAutomatonAction(Automaton automaton, CospanDecomposition decomposition)
automaton
- the first automaton used for the product automatondecomposition
- the second automaton used for the product automatonpublic void execute()
Action
public Automaton getResult()
ComputationAction
getResult
in class ComputationAction<Automaton>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<Automaton>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<Automaton>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<Automaton>
Action.execute()