Searched refs:REACHABLE_YES (Results 1 – 3 of 3) sorted by relevance
153 public static final Integer REACHABLE_YES = Utils.integer(1); field in DecisionProbe710 stateReachable.put(startState.stateNumber, REACHABLE_YES); in reachesState()728 if ( targetStatus==REACHABLE_YES ) { // return success! in reachesState()729 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()738 stateReachable.put(s.stateNumber, REACHABLE_YES); in reachesState()
48 public static final int REACHABLE_YES = 1; field in DFA929 d.setAcceptStateReachable(REACHABLE_YES);951 if ( targetStatus==REACHABLE_YES ) { // avoid unnecessary work966 d.setAcceptStateReachable(REACHABLE_YES);
140 ((DFAState)edge.target).getAcceptStateReachable()!=DFA.REACHABLE_YES ) in walkCreatingDFADOT()