(self, pools, gap_step)
| 28 | self.clear_time = 0 |
| 29 | |
| 30 | def save_pools(self, pools, gap_step): |
| 31 | # save a list of game histories |
| 32 | for (game, priorities) in pools: |
| 33 | # Only append end game |
| 34 | # if end_tag: |
| 35 | if len(game) > 0: |
| 36 | self.save_game(game, True, gap_step, priorities) |
| 37 | |
| 38 | def save_game(self, game, end_tag, gap_steps, priorities=None): |
| 39 | """Save a game history block |