Lines Matching defs:dfa
72 public DFA dfa;
82 * dfa states, but it is only a valid value if the user has specified
165 public DFAState(DFA dfa) {
166 this.dfa = dfa;
310 System.out.println("addReachableLabel to state "+dfa.decisionNumber+"."+stateNumber+": "+label.getSet().toString(dfa.nfa.grammar));
311 System.out.println("start of add to state "+dfa.decisionNumber+"."+stateNumber+": " +
324 System.out.println("comparing ["+i+"]: "+label.toString(dfa.nfa.grammar)+" & "+
325 rl.toString(dfa.nfa.grammar)+"="+
326 intersection.toString(dfa.nfa.grammar));
367 System.out.println("before add remainder to state "+dfa.decisionNumber+"."+stateNumber+": " +
369 System.out.println("remainder state "+dfa.decisionNumber+"."+stateNumber+": "+remainder.toString(dfa.nfa.grammar));
375 System.out.println("#END of add to state "+dfa.decisionNumber+"."+stateNumber+": " +
494 int user_k = dfa.getUserMaxLookahead();
577 if ( dfa.nfa.grammar.type!=Grammar.LEXER ||
578 !dfa.decisionNFAStartState.enclosingRule.name.equals(Grammar.ARTIFICIAL_TOKENS_RULENAME) )
771 if ( k > dfa.max_k ) { // track max k for entire DFA
772 dfa.max_k = k;