protected class KeYJMLParser.DFA41 extends org.antlr.runtime.DFA
accept, debug, decisionNumber, eof, eot, max, min, recognizer, special, transition
DFA41(org.antlr.runtime.BaseRecognizer recognizer)
java.lang.String
getDescription()
error, noViableAlt, predict, specialStateTransition, unpackEncodedString, unpackEncodedStringToUnsignedChars
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DFA41(org.antlr.runtime.BaseRecognizer recognizer)
public java.lang.String getDescription()
getDescription
org.antlr.runtime.DFA