// of the director, essentially setting the field _waitingTokens
// in each receiver to zero. This should be done in SDFScheduler.
actorsIterator = actors.iterator();
while (actorsIterator.hasNext()) {
Actor actor = (Actor) actorsIterator.next();
Iterator inputPorts = actor.inputPortList().iterator();
while (inputPorts.hasNext()) {
IOPort inputPort = (IOPort) inputPorts.next();
Receiver[][] receivers = inputPort.getReceivers();
if (receivers != null) {
for (int m = 0; m < receivers.length; m++) {