public class AnalysisTimeoutException extends java.lang.RuntimeException
DFA
abortedDFA
AnalysisTimeoutException(DFA abortedDFA)
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public DFA abortedDFA
public AnalysisTimeoutException(DFA abortedDFA)