public static void BoxAgent(LSAgent agent)
 {
     if (System.Object.ReferenceEquals(agent, null))
     {
         return;
     }
     BoxedAgents.Add(agent);
     agent.IsHighlighted = true;
 }
 public static void UnboxAgent(LSAgent agent)
 {
     if (agent == null)
     {
         return;
     }
     BoxedAgents.Remove(agent);
     agent.IsHighlighted = false;
 }
 public static void BoxAgent(LSAgent agent)
 {
     if (agent == null)
     {
         return;
     }
     BoxedAgents.Add(agent);
     agent.IsHighlighted = true;
 }
 public static void ClearBox()
 {
     for (i = 0; i < BoxedAgents.PeakCount; i++)
     {
         if (BoxedAgents.arrayAllocated [i])
         {
             BoxedAgents.innerArray [i].IsHighlighted = false;
         }
     }
     BoxedAgents.FastClear();
 }
 public static void ClearBox()
 {
     BoxedAgents.FastClear();
 }