Class AcceptanceOptimizations


  • public final class AcceptanceOptimizations
    extends Object
    • Method Detail

      • removeDeadStates

        public static <S> void removeDeadStates​(MutableAutomaton<S,​?> automaton)
      • removeDeadStates

        public static <S> void removeDeadStates​(MutableAutomaton<S,​?> automaton,
                                                boolean removeTransientEdges)
        Remove states from the automaton that cannot belong to an infinite accepting path.
        Parameters:
        automaton - The automaton considered by the analysis.
        removeTransientEdges - Remove transient edges and normalise acceptance sets of rejecting sccs.