public static void ClearTraces() { nextToSendForThisAgent = new Dictionary <Agent, Agent>(); agents = new List <Agent>(); amountOfPublicVariables = -1; TraceVariable.ClearTraces(); TraceOperator.ClearTraces(); TraceState.ClearTraces(); }
public void AddState(TraceState state) { states.Add(state); }
public void AddStates(TraceState recievedState, List <TraceState> sentStates) { states.Add(recievedState); states.AddRange(sentStates); }