Class AnalysisTimeoutException

    • Field Detail

      • abortedDFA

        public DFA abortedDFA
    • Constructor Detail

      • AnalysisTimeoutException

        public AnalysisTimeoutException​(DFA abortedDFA)