public String getAgentName(int index) { return agentSupport.name(index); }
public int indexOfAgent(int agent) { return agentSupport.indexOfAgent(agent); }
public int getParticipant(int index) { return agentSupport.participant(index); }
public int getRole(int index) { return agentSupport.role(index); }
public int getAgent(int index) { return agentSupport.agent(index); }
public int getAgentCount() { return agentSupport.size(); }