Class ParityAcceptanceOptimizations


  • public final class ParityAcceptanceOptimizations
    extends Object
    • Method Detail

      • minimizePriorities

        public static <S> MutableAutomaton<S,​ParityAcceptance> minimizePriorities​(MutableAutomaton<S,​ParityAcceptance> automaton)
        This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps". For example, when [0, 2, 4, 5] are used, we actually only need to consider [0, 1]. Moreover for all transient edges the acceptance marks are removed.
        Type Parameters:
        S - the state type
        Parameters:
        automaton - the automaton
        Returns:
        a compacted acceptance.