@Deprecated public class RabinAcceptance2<S extends AutomatonState<?>> extends GeneralizedRabinAcceptance2<S>
acceptanceCondition, acceptanceNumbers
Constructor | Description |
---|---|
RabinAcceptance2(java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> acceptanceCondition) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getName() |
Deprecated.
|
java.util.List<java.lang.Object> |
getNameExtra() |
Deprecated.
|
addInfiniteSetsToConjunction, addPair, clear, getAcceptanceCondition, getAcceptanceSets, getBooleanExpression, getInvolvedAcceptanceNumbers, getMaximallyMergedEdgesOfEdge, implies, isWellFormedEdge, miscellaneousAnnotations, removeIndices, splitAccordingToAcceptanceSet, toString, unmodifiableCopyOfAcceptanceCondition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton
public RabinAcceptance2(java.util.List<RabinPair2<TranSet<S>,java.util.List<TranSet<S>>>> acceptanceCondition)
public java.lang.String getName()
getName
in class GeneralizedRabinAcceptance2<S extends AutomatonState<?>>
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class GeneralizedRabinAcceptance2<S extends AutomatonState<?>>