forAll is:module

This module uses a trick to provide quantification over constraints.

Resets all draft achievements for all players. This method is only available to user accounts for your developer console. See: Google Play Game Services Management API Reference for gamesManagement.achievements.resetAllForAllPlayers.

Resets the achievement with the given ID for all players. This method is only available to user accounts for your developer console. Only draft achievements can be reset. See: Google Play Game Services Management API Reference for gamesManagement.achievements.resetForAllPlayers.

Resets achievements with the given IDs for all players. This method is only available to user accounts for your developer console. Only draft achievements may be reset. See: Google Play Game Services Management API Reference for gamesManagement.achievements.resetMultipleForAllPlayers.

Resets all draft events for all players. This method is only available to user accounts for your developer console. All quests that use any of these events will also be reset. See: Google Play Game Services Management API Reference for gamesManagement.events.resetAllForAllPlayers.

Resets the event with the given ID for all players. This method is only available to user accounts for your developer console. Only draft events can be reset. All quests that use the event will also be reset. See: Google Play Game Services Management API Reference for gamesManagement.events.resetForAllPlayers.

Resets events with the given IDs for all players. This method is only available to user accounts for your developer console. Only draft events may be reset. All quests that use any of the events will also be reset. See: Google Play Game Services Management API Reference for gamesManagement.events.resetMultipleForAllPlayers.

Resets all draft quests for all players. This method is only available to user accounts for your developer console. See: Google Play Game Services Management API Reference for gamesManagement.quests.resetAllForAllPlayers.

Resets all player progress on the quest with the given ID for all players. This method is only available to user accounts for your developer console. Only draft quests can be reset. See: Google Play Game Services Management API Reference for gamesManagement.quests.resetForAllPlayers.

Resets quests with the given IDs for all players. This method is only available to user accounts for your developer console. Only draft quests may be reset. See: Google Play Game Services Management API Reference for gamesManagement.quests.resetMultipleForAllPlayers.

Deletes rooms where the only room participants are from whitelisted tester accounts for your application. This method is only available to user accounts for your developer console. See: Google Play Game Services Management API Reference for gamesManagement.rooms.resetForAllPlayers.

Resets scores for all draft leaderboards for all players. This method is only available to user accounts for your developer console. See: Google Play Game Services Management API Reference for gamesManagement.scores.resetAllForAllPlayers.

Resets scores for the leaderboard with the given ID for all players. This method is only available to user accounts for your developer console. Only draft leaderboards can be reset. See: Google Play Game Services Management API Reference for gamesManagement.scores.resetForAllPlayers.

Resets scores for the leaderboards with the given IDs for all players. This method is only available to user accounts for your developer console. Only draft leaderboards may be reset. See: Google Play Game Services Management API Reference for gamesManagement.scores.resetMultipleForAllPlayers.

Deletes turn-based matches where the only match participants are from whitelisted tester accounts for your application. This method is only available to user accounts for your developer console. See: Google Play Game Services Management API Reference for gamesManagement.turnBasedMatches.resetForAllPlayers.