CoBuchiAcceptance (owl 21.0 API)

java.lang.Object
- owl.automaton.acceptance.EmersonLeiAcceptance
- - owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
  - - owl.automaton.acceptance.CoBuchiAcceptance

public final class CoBuchiAcceptance
extends GeneralizedCoBuchiAcceptance

Field Summary

Fields
Modifier and Type Field Description

static CoBuchiAcceptance INSTANCE

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Optional<ImmutableBitSet>`	`acceptingSet()`	Returns a set of indices which repeated infinitely often are accepting or `Optional.empty()` if no such set exists.
`String`	`name()`
`static Optional<CoBuchiAcceptance>`	`ofPartial(PropositionalFormula<Integer> formula)`
`Optional<ImmutableBitSet>`	`rejectingSet()`	Returns a set of indices which repeated infinitely often are rejecting or `Optional.empty()` if no such set exists.

Methods inherited from class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
lazyBooleanExpression, nameExtra, of

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 CoBuchiAcceptance INSTANCE
```
- Method Detail
  - ofPartial
```
public static Optional<CoBuchiAcceptance> ofPartial(PropositionalFormula<Integer> formula)
```
  - name
```
public String name()
```
    Overrides:
    
    name in class GeneralizedCoBuchiAcceptance
  - acceptingSet
```
public Optional<ImmutableBitSet> acceptingSet()
```
    Description copied from class: EmersonLeiAcceptance
    
    Returns a set of indices which repeated infinitely often are accepting or Optional.empty() if no such set exists.
    
    Overrides:
    
    acceptingSet in class GeneralizedCoBuchiAcceptance
    
    See Also:
    
    EmersonLeiAcceptance.isAccepting(BitSet)
  - rejectingSet
```
public Optional<ImmutableBitSet> rejectingSet()
```
    Description copied from class: EmersonLeiAcceptance
    
    Returns a set of indices which repeated infinitely often are rejecting or Optional.empty() if no such set exists.
    
    Overrides:
    
    rejectingSet in class GeneralizedCoBuchiAcceptance
    
    See Also:
    
    EmersonLeiAcceptance.isAccepting(BitSet)