Searched refs:REACHABLE_BUSY (Results 1 – 2 of 2) sorted by relevance
151 public static final Integer REACHABLE_BUSY = Utils.integer(-1); field in DecisionProbe722 stateReachable.put(s.stateNumber, REACHABLE_BUSY); in reachesState()731 if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing in reachesState()
46 public static final int REACHABLE_BUSY = -1; // in process of computing field in DFA937 d.setAcceptStateReachable(REACHABLE_BUSY);947 if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing