Lines Matching refs:DFA
42 DFA dfa;
44 public MachineProbe(DFA dfa) {
45 this.dfa = dfa;
50 return getAnyDFAPathToTarget(dfa.startState, targetState, visited);
85 // walk looking for edge whose target is next dfa state
109 * Given an alternative associated with a DFA state, return the list of
148 // /** Used to find paths through syntactically ambiguous DFA. If we've
165 // for (DFAState d : dfa.states.values()) {