protected class KeYJMLPreLexer.DFA26 extends org.antlr.runtime.DFA
accept, debug, decisionNumber, eof, eot, max, min, recognizer, special, transition
DFA26(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 DFA26(org.antlr.runtime.BaseRecognizer recognizer)
public java.lang.String getDescription()
getDescription
org.antlr.runtime.DFA