Transition t = d.transition(i); DFAState edgeTarget = (DFAState)t.target; int targetStatus = edgeTarget.getAcceptStateReachable(); if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing cyclic = true;
Transition t = d.transition(i); DFAState edgeTarget = (DFAState)t.target; int targetStatus = edgeTarget.getAcceptStateReachable(); if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing cyclic = true;
Transition t = d.transition(i); DFAState edgeTarget = (DFAState)t.target; int targetStatus = edgeTarget.getAcceptStateReachable(); if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing cyclic = true;
Transition t = d.transition(i); DFAState edgeTarget = (DFAState)t.target; int targetStatus = edgeTarget.getAcceptStateReachable(); if ( targetStatus==REACHABLE_BUSY ) { // avoid cycles; they say nothing cyclic = true;