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()
299 Set<DFAState> dfaStates = getDFAPathStatesToTarget(targetState); in getSampleNonDeterministicInputSequence() local307 dfaStates, in getSampleNonDeterministicInputSequence()748 Set<DFAState> dfaStates = new HashSet<DFAState>(); in getDFAPathStatesToTarget() local751 return dfaStates; in getDFAPathStatesToTarget()753 boolean reaches = reachesState(dfa.startState, targetState, dfaStates); in getDFAPathStatesToTarget()754 return dfaStates; in getDFAPathStatesToTarget()