Searched refs:REACHABLE_NO (Results 1 – 2 of 2) sorted by relevance
152 public static final Integer REACHABLE_NO = Utils.integer(0); field in DecisionProbe738 if ( targetStatus==REACHABLE_NO ) { // try another transition in reachesState()749 stateReachable.put(s.stateNumber, REACHABLE_NO); in reachesState()
47 public static final int REACHABLE_NO = 0; field in DFA955 if ( targetStatus==REACHABLE_NO ) { // avoid unnecessary work969 d.setAcceptStateReachable(REACHABLE_NO);