game_compile: Compile a game defined with 'new_game'

Description Usage See Also

View source: R/game.r

Description

Compile a game defined with new_game

Usage

1
2
3
4
game_compile(game, branching.limit = 10000, for.internal.solver = FALSE,
  add.sg = for.internal.solver, add.spi = for.internal.solver,
  add.spo = for.internal.solver, force = FALSE,
  verbose = game$options$verbose, ...)

See Also

Other Build Game: make_game_options, make_game_params, stage


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