void HoldemTableStatistics_PlayerPushedAllIn(string playerName, HoldemGamePhase gamePhase) { HoldemPlayer p = (HoldemPlayer)FindPlayer(playerName); Trace.WriteLine("Pushed all-in: " + p.Name); p.HasPushedAllIn(gamePhase); }