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