API for skranz/gtreeWebPlay
Create shiny apps to play gtree games
| Global functions | |
|---|---|
| actionField | Source code |
| adapt.rmd.ignore | Source code |
| adapt.rmd.include | Source code |
| bot_eq | Man page Source code |
| bot_mixture | Man page Source code |
| bot_pop | Man page Source code |
| bot_random | Man page Source code |
| bot_tables | Man page Source code |
| bot_vs_bot.example | Source code |
| choose_action_bot_mixture | Source code |
| choose_action_bot_pop | Source code |
| choose_action_bot_tables | Source code |
| colored.html | Source code |
| compute.wp.page.values | Source code |
| default.page.ui.fun | Source code |
| deploy_webplay_example | Man page Source code |
| draw_human_pos | Source code |
| empty.df | Source code |
| errorMessage | Source code |
| eval.or.return | Source code |
| eval.stratMethRows.block | Source code |
| examples.make.pages | Source code |
| examples.wpDevelApp | Source code |
| get.action.input.id | Source code |
| get.pages.dir | Source code |
| get.sm.value | Source code |
| get_wp | Man page Source code |
| insert.into.vec | Source code |
| load.page.rmd | Source code |
| make.end.page.rmd | Source code |
| make.game.pages.rmd | Source code |
| make.page.action.txt | Source code |
| make.page.rmd | Source code |
| make.stage.page.rmd | Source code |
| make.start.page.rmd | Source code |
| make.wait.page.rmd | Source code |
| make.wp.page.ui | Source code |
| make_bots | Man page Source code |
| multi.key.match | Source code |
| new_play | Source code |
| new_pps | Man page Source code |
| new_wp | Man page Source code |
| old.make.wp.page.ui | Source code |
| page.ns | Source code |
| play_bot_vs_bot | Man page Source code |
| play_stage_auto | Source code |
| pps_add_play_actions | Man page Source code |
| pps_rearrange | Man page Source code |
| print.gtree_play | Source code |
| print.gtree_pps | Source code |
| rowRadioButtons | Source code |
| save.stage.page.rmd | Source code |
| set_wp_for_app | Man page Source code |
| stratMethRows | Source code |
| submitEndPageBtn | Source code |
| submitPageBtn | Source code |
| submitStartPageBtn | Source code |
| timedMessage | Source code |
| wp.assign.delayed.strat.meth.realizations | Source code |
| wp.assign.strat.meth.realizations | Source code |
| wp.default.finish.handler | Source code |
| wp.edit.page.btn.click | Source code |
| wp.end.btn.click | Source code |
| wp.game | Source code |
| wp.page.file | Source code |
| wp.page.name | Source code |
| wp.pages.dir | Source code |
| wp.stage | Source code |
| wp.start.btn.click | Source code |
| wp.submit.btn.click | Source code |
| wpDevelApp | Man page Source code |
| wp_continue | Source code |
| wp_copy | Man page Source code |
| wp_developer_ui | Man page Source code |
| wp_play_until_human | Source code |
| wp_reset | Man page Source code |
| wp_set_to_play | Man page Source code |
