Exemple #1
0
 def getInitialStateMachine(self):
     return ProverStateMachine()
Exemple #2
0
def load_game(game_name):
    game_description = GameRepository.getDefaultRepository().getGame(
        game_name).getRules()
    machine = ProverStateMachine()
    machine.initialize(game_description)
    return machine