private void UpdateMarketInfo() { HashSet <string> allTraders = new HashSet <string>(); foreach (string s in traders.Keys) { allTraders.Add(s); } theMarket.UpdateMarketInfo(allTraders, stockholder); logger.LogMarketInfo(theMarket); }