All Packages Class Hierarchy This Package Previous Next Index
Class AgentSystem.AgentID
java.lang.Object
|
+----AgentSystem.ObjectID
|
+----AgentSystem.AgentID
- public class AgentID
- extends ObjectID
- implements Serializable
Identificatore di agente ... caratterizzato dal nome del nodo di origine
piu' il nome del dominio (utile per la gestione della consistenza della
posizione)
-
getDomain()
- Ritorna il dominio di origine dell'agente
-
getHome()
- Ritorna il nodo di origine dell'agente
-
uguale(AgentID)
- Verifica se 2 AgentID sono uguali
getHome
public String getHome()
- Ritorna il nodo di origine dell'agente
getDomain
public String getDomain()
- Ritorna il dominio di origine dell'agente
uguale
public boolean uguale(AgentID agid)
- Verifica se 2 AgentID sono uguali
All Packages Class Hierarchy This Package Previous Next Index