[ library(debug_player) | General Game Player | Alphabetic Index ]
play_game(++GameFile, ++RoleIndex, ++StartClock, ++PlayClock)
plays the given games against random players
- GameFile
- the name of a file containing the game rules
- RoleIndex
- the index of the role of this player
- StartClock
- the startclock
- PlayClock
- the playclock
Fail Conditions
GameFile does not exist.
Resatisfiable
no
See Also