public interface MembershipAlgorithm extends Algorithm
Modifier and Type | Interface and Description |
---|---|
static class |
MembershipAlgorithm.Implementations
An enumeration of implementations of this algorithm.
|
Algorithm.OrderingType, Algorithm.SearchType
Modifier and Type | Method and Description |
---|---|
boolean |
isMemberOf(Automaton automaton,
CospanDecomposition decomposition)
Returns
true if and only if the automaton automaton accepts the cospan
decomposition decomposition . |
addComputationListener, cancelComputation, removeComputationListener
boolean isMemberOf(Automaton automaton, CospanDecomposition decomposition)
true
if and only if the automaton automaton
accepts the cospan
decomposition decomposition
.automaton
- the automaton to be checkeddecomposition
- the decomposition which is the input for the automatontrue
if the automaton accepts the cospan decomposition, false
otherwise