AllAcceptance (owl 21.0 API)

java.lang.Object
- owl.automaton.acceptance.EmersonLeiAcceptance
- - owl.automaton.acceptance.GeneralizedBuchiAcceptance
  - - owl.automaton.acceptance.AllAcceptance

public final class AllAcceptance
extends GeneralizedBuchiAcceptance

Field Summary

Fields
Modifier and Type Field Description

static AllAcceptance INSTANCE

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`name()`
`List<Object>`	`nameExtra()`
`static Optional<AllAcceptance>`	`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

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final AllAcceptance INSTANCE

Method Detail

ofPartial

public static Optional<AllAcceptance> ofPartial(PropositionalFormula<Integer> formula)

name
```
public String name()
```
Overrides:

name in class GeneralizedBuchiAcceptance

nameExtra
```
public List<Object> nameExtra()
```
Overrides:

nameExtra in class GeneralizedBuchiAcceptance