Package owl.automaton.acceptance

## Class BuchiAcceptance

- java.lang.Object
- - owl.automaton.acceptance.OmegaAcceptance
  - - 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` |

    - ### Fields inherited from class owl.automaton.acceptance.GeneralizedBuchiAcceptance

      `size`

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `BuchiAcceptance()` |

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `String` | `name()` |
    `List<Object>` | `nameExtra()` |

    - ### Methods inherited from class owl.automaton.acceptance.GeneralizedBuchiAcceptance

      `acceptanceSets, acceptingSet, booleanExpression, isWellFormedEdge, of, rejectingSet`

    - ### Methods inherited from class owl.automaton.acceptance.OmegaAcceptance

      `isWellFormedAutomaton, toString`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Field Detail

    - #### INSTANCE

          public static final BuchiAcceptance INSTANCE

  - ### Constructor Detail

    - #### BuchiAcceptance

          public BuchiAcceptance()

  - ### Method Detail

    - #### name

          public String name()

      Overrides:
        `name` in class `GeneralizedBuchiAcceptance`

    - #### nameExtra

          public List<Object> nameExtra()

      Overrides:
        `nameExtra` in class `GeneralizedBuchiAcceptance`