203204205206207208209210211212213
evtset = eventsets[aid]; while (evtset.size() > 0) { int v = evtset.pollFirst(); eventmasks[aid][v] = 0; } evtset.clear(); lastProp.flushPendingEvt(); } scheduled[aid] = 0; } for (int i = nextNotEmpty(0); i > -1; i = nextNotEmpty(i + 1)) {
219220221222223224225226227228229
evtset = eventsets[aid]; while (evtset.size() > 0) { int v = evtset.pollFirst(); eventmasks[aid][v] = 0; } evtset.clear(); lastProp.flushPendingEvt(); } scheduled[aid] = 0; } notEmpty = notEmpty & ~(1 << i);
297298299300301302303304305306307
IntCircularQueue evtset = eventsets[aid]; while (evtset.size() > 0) { int v = evtset.pollFirst(); eventmasks[aid][v] = 0; } evtset.clear(); propagator.flushPendingEvt(); } } }
301302303304305306307308309310311
if (lastProp.reactToFineEvent()) { IntCircularQueue evtset = event_f[aid]; while (!evtset.isEmpty()) { eventmasks[aid][evtset.pollLast()] = 0; } evtset.clear(); } schedule_f[aid] = false; } private void flushCoarse() {