Searched refs:stateReachable (Results 1 – 1 of 1) sorted by relevance
149 protected Map<Integer, Integer> stateReachable; field in DecisionProbe710 stateReachable.put(startState.stateNumber, REACHABLE_YES); in reachesState()716 stateReachable.put(s.stateNumber, REACHABLE_BUSY); in reachesState()724 Integer targetStatus = stateReachable.get(edgeTarget.stateNumber); in reachesState()729 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()738 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()743 stateReachable.put(s.stateNumber, REACHABLE_NO); in reachesState()749 stateReachable = new HashMap<Integer, Integer>(); in getDFAPathStatesToTarget()