private void addActiveAgents() {
    synchronized (extToAdd) {
      if (!extToAdd.isEmpty()) {
        for (int i : extToAdd) {
          activeAgents.add(i);
        }
        extToAdd.clear();
      }
    }
  }
private void addActiveAgents() {
    synchronized (extToAdd) {
      if (!extToAdd.isEmpty()) {
        for (int i : extToAdd) {
          activeAgents.add(i);
        }
        extToAdd.clear();
      }
    }
  }
private void addActiveAgents ( ) { synchronized ( extToAdd ) { if ( ! extToAdd . isEmpty ( ) ) { for ( int i : extToAdd ) { activeAgents . add ( i ) ; } extToAdd . clear ( ) ; } } }
Adds to {@link #activeAgents} all agents flagged by external events as having become active.
Adds to {