Searched refs:reachesState (Results 1 – 1 of 1) sorted by relevance
710 protected boolean reachesState(DFAState startState, in reachesState() method in DecisionProbe742 if ( reachesState(edgeTarget, targetState, states) ) { in reachesState()759 boolean reaches = reachesState(dfa.startState, targetState, dfaStates); in getDFAPathStatesToTarget()