Lines Matching defs:DFA2_min
1724 static final char[] DFA2_min = DFA.unpackEncodedStringToUnsignedChars(DFA2_minS);1745 this.min = DFA2_min;