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)
