Searched defs:targetState (Results 1 – 3 of 3) sorted by relevance
48 List<DFAState> getAnyDFAPathToTarget(DFAState targetState) { in getAnyDFAPathToTarget()54 DFAState targetState, Set<DFAState> visited) { in getAnyDFAPathToTarget()79 public List<IntSet> getEdgeLabels(DFAState targetState) { in getEdgeLabels()
257 public List<Integer> getNonDeterministicAltsForState(DFAState targetState) { in getNonDeterministicAltsForState()298 public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { in getSampleNonDeterministicInputSequence()705 DFAState targetState, in reachesState()747 protected Set<DFAState> getDFAPathStatesToTarget(DFAState targetState) { in getDFAPathStatesToTarget()767 State targetState, in getSampleInputSequenceUsingStateSet()
306 DFAState targetState = addDFAStateToWorkList(t); in findNewDFAStatesAndAddDFATransitions() local410 DFAState targetState, in addTransition()