@@ -209,7 +209,6 @@ class GameInfosetRep : public std::enable_shared_from_this<GameInfosetRep> {
209209 }
210210
211211public:
212- void DebugSanityCheck () const ;
213212 using Actions = ElementCollection<GameInfoset, GameActionRep>;
214213 using Members = ElementCollection<GameInfoset, GameNodeRep>;
215214
@@ -383,15 +382,6 @@ class GamePlayerRep : public std::enable_shared_from_this<GamePlayerRep> {
383382 std::vector<std::shared_ptr<GameStrategyRep>> m_strategies;
384383
385384public:
386- void DebugSanityCheck () const
387- {
388- if (!m_game) {
389- throw std::runtime_error (" PlayerRep: m_game is null" );
390- }
391- if (!m_valid) {
392- throw std::runtime_error (" PlayerRep: IsValid() is false" );
393- }
394- }
395385 using Infosets = ElementCollection<GamePlayer, GameInfosetRep>;
396386 using Strategies = ElementCollection<GamePlayer, GameStrategyRep>;
397387
@@ -977,27 +967,6 @@ class GameRep : public std::enable_shared_from_this<GameRep> {
977967 virtual void BuildComputedValues () const {}
978968};
979969
980- #undef NDEBUG
981- #include < cassert>
982-
983- inline void GameInfosetRep::DebugSanityCheck () const
984- {
985- if (!m_game) {
986- throw std::runtime_error (" InfosetRep: m_game is null" );
987- }
988- if (!m_player) {
989- throw std::runtime_error (" InfosetRep: m_player is null" );
990- }
991- if (!m_valid) {
992- throw std::runtime_error (" InfosetRep: IsValid() is false" );
993- }
994-
995- // Optional deeper checks:
996- if (m_player->m_game != m_game) {
997- throw std::runtime_error (" InfosetRep: player->m_game mismatch" );
998- }
999- }
1000-
1001970class GameRep ::Infosets {
1002971 Players m_players;
1003972
0 commit comments