Package owl.automaton.acceptance
Class BuchiAcceptance
- java.lang.Object
-
- owl.automaton.acceptance.EmersonLeiAcceptance
-
- owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- owl.automaton.acceptance.BuchiAcceptance
-
public final class BuchiAcceptance extends GeneralizedBuchiAcceptance
-
-
Field Summary
Fields Modifier and Type Field Description static BuchiAcceptanceINSTANCE
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Stringname()List<Object>nameExtra()static Optional<BuchiAcceptance>ofPartial(PropositionalFormula<Integer> formula)-
Methods inherited from class owl.automaton.acceptance.GeneralizedBuchiAcceptance
acceptingSet, lazyBooleanExpression, of, rejectingSet
-
Methods inherited from class owl.automaton.acceptance.EmersonLeiAcceptance
acceptanceSets, booleanExpression, equals, hashCode, isAccepting, isAccepting, isAcceptingEdge, isWellFormedAutomaton, of, toString
-
-
-
-
Field Detail
-
INSTANCE
public static final BuchiAcceptance INSTANCE
-
-
Method Detail
-
ofPartial
public static Optional<BuchiAcceptance> ofPartial(PropositionalFormula<Integer> formula)
-
name
public String name()
- Overrides:
namein classGeneralizedBuchiAcceptance
-
nameExtra
public List<Object> nameExtra()
- Overrides:
nameExtrain classGeneralizedBuchiAcceptance
-
-