Searched refs:dfaStates (Results 1 – 2 of 2) sorted by relevance
55 List<DFAState> dfaStates = new ArrayList<DFAState>(); in getAnyDFAPathToTarget() local58 dfaStates.add(targetState); in getAnyDFAPathToTarget()59 return dfaStates; in getAnyDFAPathToTarget()69 dfaStates.add(startState); in getAnyDFAPathToTarget()70 dfaStates.addAll(path); in getAnyDFAPathToTarget()71 return dfaStates; in getAnyDFAPathToTarget()80 List<DFAState> dfaStates = getAnyDFAPathToTarget(targetState); in getEdgeLabels() local82 for (int i = 0; i < dfaStates.size() - 1; i++) { in getEdgeLabels()83 DFAState d = dfaStates.get(i); in getEdgeLabels()84 DFAState nextState = dfaStates.get(i + 1); in getEdgeLabels()
302 Set dfaStates = getDFAPathStatesToTarget(targetState); in getSampleNonDeterministicInputSequence() local310 dfaStates, in getSampleNonDeterministicInputSequence()754 Set dfaStates = new HashSet(); in getDFAPathStatesToTarget() local757 return dfaStates; in getDFAPathStatesToTarget()759 boolean reaches = reachesState(dfa.startState, targetState, dfaStates); in getDFAPathStatesToTarget()760 return dfaStates; in getDFAPathStatesToTarget()