// safety properties static void Validate(HoldemState s, HoldemState old, bool actingPlayerSeated, int actingPlayerBet, bool actingPlayerCommited) { if (s.tableState == HoldemGame.TABLE_PLAYING) { GameState.Validate(new GameState(s), new GameState(old), actingPlayerSeated, actingPlayerBet, actingPlayerCommited); } }