Beispiel #1
0
  public AID[] getAgentImages() {
    Object[] objs = agentImages.keySet().toArray();
    AID[] result = new AID[objs.length];
    for (int i = 0; i < result.length; i++) {
      result[i] = (AID) objs[i];
    }

    return result;
  }