game_change_param: Changes one or several parameters of a game

Description Usage See Also

View source: R/change_param.r

Description

For an already compiled game, we try to change parameters in a fashion that is faster than a complete recompilation.

Usage

1
2
game_change_param(game, ..., params = list(),
  verbose = isTRUE(game$options$verbose > 0))

See Also

Other Modify Game: game_copy, game_set_preferences, pref_change_params

Other Game Parameters: make_game_params


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