GeneralizedBuchiAcceptance (owl 21.0 API)

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

Direct Known Subclasses:: AllAcceptance, BuchiAcceptance

public class GeneralizedBuchiAcceptance
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 GeneralizedBuchiAcceptance`	`of(int size)`
`static Optional<? extends GeneralizedBuchiAcceptance>`	`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 GeneralizedBuchiAcceptance of(int size)
```
  - ofPartial
```
public static Optional<? extends GeneralizedBuchiAcceptance> 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 final 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 final 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)