SOMA.agent.mobility
Class AgentWorkerStore
java.lang.Object
SOMA.agent.mobility.AgentWorkerStore
- public class AgentWorkerStore
- extends java.lang.Object
Struttura dati che contiene i worker
dell'AgentManager
.
- Author:
- Livio Profiri (metodo aggiunto da Luigi Antenucci)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AgentWorkerStore
public AgentWorkerStore()
getWorker
public AgentWorker getWorker(AgentID agentID)
putWorker
public AgentWorker putWorker(AgentWorker worker)
removeWorker
public AgentWorker removeWorker(AgentID agentID)
printWorkers
public void printWorkers(java.io.PrintStream out)
saveWorkers
public java.util.List saveWorkers(Environment env)
workersNumber
public int workersNumber()
- Restituisce il numero di worker e quindi di agenti del place.
cheElencoAgenti
public AgentID[] cheElencoAgenti()
- Rende un array di AgentID corrispondente all'elenco di tutti gli agenti
gestiti da worker nel place corrente.
Metodo aggiunto da Luigi Antenucci per la "ManipolaAgenti".
Copyright © 2004 Luca Foschini