for (int ti=0; ti<n; ti++) { // for each transition Transition trans = c.state.transition(ti); ATNState target = getReachableTarget(trans, t); if ( target!=null ) { intermediate.add(new ATNConfig(c, target), mergeCache);
for (int ti=0; ti<n; ti++) { // for each transition Transition trans = c.state.transition(ti); ATNState target = getReachableTarget(trans, t); if ( target!=null ) { intermediate.add(new ATNConfig(c, target), mergeCache);
for (int ti=0; ti<n; ti++) { // for each transition Transition trans = c.state.transition(ti); ATNState target = getReachableTarget(trans, t); if ( target!=null ) { intermediate.add(new ATNConfig(c, target), mergeCache);
for (int ti=0; ti<n; ti++) { // for each transition Transition trans = c.state.transition(ti); ATNState target = getReachableTarget(trans, t); if ( target!=null ) { intermediate.add(new ATNConfig(c, target), mergeCache);
for (int ti=0; ti<n; ti++) { // for each optimized transition Transition trans = c.getState().getOptimizedTransition(ti); ATNState target = getReachableTarget(c, trans, t); if ( target!=null ) { reachIntermediate.add(c.transform(target, false), contextCache);