Searched defs:user_k (Results 1 – 3 of 3) sorted by relevance
110 protected int user_k = -1; field in DFA
499 int user_k = dfa.getUserMaxLookahead(); in getNonDeterministicAlts() local
2600 int user_k = 0; in getUserMaxLookahead() local