public class DefaultMembershipAlgorithm extends Object implements MembershipAlgorithm
MembershipAlgorithm.Implementations
Algorithm.OrderingType, Algorithm.SearchType
Constructor and Description |
---|
DefaultMembershipAlgorithm() |
Modifier and Type | Method and Description |
---|---|
void |
addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
void |
cancelComputation()
Cancels the computation of this algorithm.
|
boolean |
isMemberOf(Automaton automaton,
CospanDecomposition decomposition)
Returns
true if and only if the automaton automaton accepts the cospan
decomposition decomposition . |
void |
removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
public boolean isMemberOf(Automaton automaton, CospanDecomposition decomposition)
MembershipAlgorithm
true
if and only if the automaton automaton
accepts the cospan
decomposition decomposition
.isMemberOf
in interface MembershipAlgorithm
automaton
- the automaton to be checkeddecomposition
- the decomposition which is the input for the automatontrue
if the automaton accepts the cospan decomposition, false
otherwisepublic void addComputationListener(ComputationListener l)
Algorithm
l
to this algorithm.addComputationListener
in interface Algorithm
l
- the listener to receive computation eventspublic void removeComputationListener(ComputationListener l)
Algorithm
l
from this algorithm.removeComputationListener
in interface Algorithm
l
- the listener to be removedpublic void cancelComputation()
Algorithm
cancelComputation
in interface Algorithm