Class RabinAcceptance


  • public final class RabinAcceptance
    extends GeneralizedRabinAcceptance
    This class represents a Rabin acceptance. It consists of multiple GeneralizedRabinAcceptance.RabinPairs, which in turn basically comprise a (potentially lazily allocated) Fin and Inf set. A Rabin pair is accepting, if it's 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.