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