Lines Matching refs:DFA2_max
1725 static final char[] DFA2_max = DFA.unpackEncodedStringToUnsignedChars(DFA2_maxS);1746 this.max = DFA2_max;