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 toDoes(self, moves): """ generated source for method toDoes """ doeses = ArrayList(len(moves)) roleIndices = getRoleIndices() i = 0 while i < len(self.roles): doeses.add(ProverQueryBuilder.toDoes(self.roles.get(i), moves.get(index))) i += 1 return doeses
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)
def computeInitialState(self): """ generated source for method computeInitialState """ results = self.prover.askAll(ProverQueryBuilder.getInitQuery(), HashSet()) return ProverResultParser().toState(results)