public final class BuchiAcceptance extends GeneralizedBuchiAcceptance
Modifier and Type | Field | Description |
---|---|---|
static BuchiAcceptance |
INSTANCE |
size
Constructor | Description |
---|---|
BuchiAcceptance() |
Modifier and Type | Method | Description |
---|---|---|
java.lang.String |
getName() |
|
java.util.List<java.lang.Object> |
getNameExtra() |
getAcceptanceSets, getBooleanExpression, isWellFormedEdge
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isWellFormedAutomaton, toString
public static final BuchiAcceptance INSTANCE
public java.lang.String getName()
getName
in class GeneralizedBuchiAcceptance
public java.util.List<java.lang.Object> getNameExtra()
getNameExtra
in class GeneralizedBuchiAcceptance