public override string ToString()
{
string s = "Selected Agents: ";
if (selectedAgentLocalIDs.IsNotNull())
{
for (int i = 0; i < selectedAgentLocalIDs.Count; i++)
{
s += selectedAgentLocalIDs[i] + ", ";
}
}
return(s);
}