GeneralizedCoBuchiAcceptance (owl 21.0 API)

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

Direct Known Subclasses:: CoBuchiAcceptance

public class GeneralizedCoBuchiAcceptance
extends EmersonLeiAcceptance

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.
`protected PropositionalFormula<Integer>`	`lazyBooleanExpression()`
`String`	`name()`
`List<Object>`	`nameExtra()`
`static GeneralizedCoBuchiAcceptance`	`of(int size)`
`static Optional<? extends GeneralizedCoBuchiAcceptance>`	`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.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

- Method Detail
  - of
```
public static GeneralizedCoBuchiAcceptance of(int size)
```
  - ofPartial
```
public static Optional<? extends GeneralizedCoBuchiAcceptance> ofPartial(PropositionalFormula<Integer> formula)
```
  - lazyBooleanExpression
```
protected final PropositionalFormula<Integer> lazyBooleanExpression()
```
    Overrides:
    
    lazyBooleanExpression in class EmersonLeiAcceptance
  - name
```
public String name()
```
    Overrides:
    
    name in class EmersonLeiAcceptance
  - nameExtra
```
public List<Object> nameExtra()
```
    Overrides:
    
    nameExtra in class EmersonLeiAcceptance
  - 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 EmersonLeiAcceptance
    
    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 EmersonLeiAcceptance
    
    See Also:
    
    EmersonLeiAcceptance.isAccepting(BitSet)