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