public abstract class LanguageInclusionAction extends ComputationAction<Boolean>
Constructor and Description |
---|
LanguageInclusionAction() |
Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this action. |
void |
execute()
Causes this action to begin execution.
|
CospanCounterExample |
getCounterExample()
Returns the counter example, if the language of the first automaton is
not contained in the language of the second automaton, and
null
otherwise |
Boolean |
getResult()
Returns the result of the computation.
|
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this action. |
cancelComputation, getElapsedTime
public final void execute()
Action
public final Boolean getResult()
ComputationAction
getResult
in class ComputationAction<Boolean>
public final CospanCounterExample getCounterExample()
null
otherwisenull
otherwisepublic final void addComputationListener(ComputationListener l)
ComputationAction
l
to this action.addComputationListener
in class ComputationAction<Boolean>
l
- the listener to receive computation eventspublic final void removeComputationListener(ComputationListener l)
ComputationAction
l
from this action.removeComputationListener
in class ComputationAction<Boolean>
l
- the listener to be removed