game_copy: Make a deep copy of a game

Description Usage See Also

View source: R/game.r

Description

Make a deep copy of a game

Usage

1
game_copy(game)

See Also

Other Modify Game: game_change_param, game_set_preferences, pref_change_params


skranz/gtree documentation built on March 27, 2021, 6:03 a.m.