def getNextState(self, state, moves): """ generated source for method getNextState """ results = self.prover.askAll(ProverQueryBuilder.getNextQuery(), ProverQueryBuilder.getContext(state, getRoles(), moves)) for sentence in results: if not sentence.isGround(): raise TransitionDefinitionException(state, moves) return ProverResultParser().toState(results)
def getGoal(self, state, role): """ generated source for method getGoal """ results = self.prover.askAll(ProverQueryBuilder.getGoalQuery(role), ProverQueryBuilder.getContext(state)) if len(results) != 1: GamerLogger.logError("StateMachine", "Got goal results of size: " + len(results) + " when expecting size one.") raise GoalDefinitionException(state, role) try: return Integer.parseInt(constant.__str__()) except Exception as e: raise GoalDefinitionException(state, role)
def isTerminal(self, state): """ generated source for method isTerminal """ return self.prover.prove(ProverQueryBuilder.getTerminalQuery(), ProverQueryBuilder.getContext(state))
def getLegalMoves(self, state, role): """ generated source for method getLegalMoves """ results = self.prover.askAll(ProverQueryBuilder.getLegalQuery(role), ProverQueryBuilder.getContext(state)) if len(results) == 0: raise MoveDefinitionException(state, role) return ProverResultParser().toMoves(results)