BuchiAcceptance (owl 21.0 API)

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 BuchiAcceptance INSTANCE

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`name()`
`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

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

Field Detail

INSTANCE

public static final BuchiAcceptance INSTANCE

Method Detail

ofPartial

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

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

name in class GeneralizedBuchiAcceptance

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

nameExtra in class GeneralizedBuchiAcceptance