```
public final class RabinAcceptance
extends GeneralizedRabinAcceptance
```
This class represents a Rabin acceptance. It consists of multiple GeneralizedRabinAcceptance.RabinPairs, which in turn basically comprise a Fin and Inf set. A Rabin pair is accepting, if its Inf set is seen infinitely often and it's Fin set is seen finitely often. The corresponding Rabin acceptance is accepting if any Rabin pair is accepting. Note that therefore a Rabin acceptance without any pairs rejects every word.

Field Summary
- Fields inherited from class owl.automaton.acceptance.GeneralizedRabinAcceptance
  pairs

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`name()`
`List<Object>`	`nameExtra()`
`static RabinAcceptance`	`of(int count)`
`static RabinAcceptance`	`of(List<GeneralizedRabinAcceptance.RabinPair> pairs)`
`static RabinAcceptance`	`of(GeneralizedRabinAcceptance.RabinPair... pairs)`
`static Optional<RabinAcceptance>`	`ofPartial(PropositionalFormula<Integer> formula)`

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

public static RabinAcceptance of(int count)

public static RabinAcceptance of(List<GeneralizedRabinAcceptance.RabinPair> pairs)

public static RabinAcceptance of(GeneralizedRabinAcceptance.RabinPair... pairs)

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

Class RabinAcceptance