public class MembershipAction extends ComputationAction<Boolean>
Constructor and Description |
---|
MembershipAction(Automaton automaton,
CospanDecomposition decomposition)
Creates a new
Action to execute the membership check for the automaton
automaton and the cospan decomposition decomposition , i.e. it will be
checked whether the cospan decomposition (of an input graph) is accepted by the automaton. |
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.
|
Boolean |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
getElapsedTime
public MembershipAction(Automaton automaton, CospanDecomposition decomposition)
Action
to execute the membership check for the automaton
automaton
and the cospan decomposition decomposition
, i.e. it will be
checked whether the cospan decomposition (of an input graph) is accepted by the automaton.automaton
- the automaton used by the algorithmdecomposition
- the cospan decomposition to be checkedpublic void execute()
Action
public Boolean getResult()
ComputationAction
getResult
in class ComputationAction<Boolean>
public void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<Boolean>
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<Boolean>
l
- the listener to be removedpublic void cancelComputation()
ComputationAction
ComputationAction
.cancelComputation
in class ComputationAction<Boolean>
Action.execute()