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()
260 public List getNonDeterministicAltsForState(DFAState targetState) { in getNonDeterministicAltsForState()301 public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { in getSampleNonDeterministicInputSequence()711 DFAState targetState, in reachesState()753 protected Set getDFAPathStatesToTarget(DFAState targetState) { in getDFAPathStatesToTarget()773 State targetState, in getSampleInputSequenceUsingStateSet()
306 DFAState targetState = addDFAStateToWorkList(t); in findNewDFAStatesAndAddDFATransitions() local410 DFAState targetState, in addTransition()