Searched refs:stateReachable (Results 1 – 1 of 1) sorted by relevance
149 protected Map<Integer, Integer> stateReachable; field in DecisionProbe716 stateReachable.put(startState.stateNumber, REACHABLE_YES); in reachesState()722 stateReachable.put(s.stateNumber, REACHABLE_BUSY); in reachesState()730 Integer targetStatus = stateReachable.get(edgeTarget.stateNumber); in reachesState()735 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()744 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()749 stateReachable.put(s.stateNumber, REACHABLE_NO); in reachesState()755 stateReachable = new HashMap(); in getDFAPathStatesToTarget()