47484950515253
} private MachineState computeInitialState() { Set<GdlSentence> results = prover.askAll(ProverQueryBuilder.getInitQuery(), new HashSet<GdlSentence>()); return new ProverResultParser().toState(results); }
90919293949596
if (results.size() == 0) { throw new MoveDefinitionException(state, role); } return new ProverResultParser().toMoves(results); }
106107108109110111112
{ throw new TransitionDefinitionException(state, moves); } } return new ProverResultParser().toState(results); }