/// <summary> /// Returns a list with the names of all the agents. /// </summary> /// <returns></returns> public IEnumerable <IAgentId> AllAgentIds() { return(Agents.GetKeys()); }