/**
* Monte-Carlo simulation for playout.
*
* @param node Node to start at
* @param timeout Time limit
* @return Scores for all players
*/
private int[] playout(Node node, long timeout) {
if (node instanceof TerminalNode) {
return ((TerminalNode) node).goal;
}
MachineState state = ((NonTerminalNode) node).state;
while (System.currentTimeMillis() < timeout) {
if (theMachine.isTerminal(state)) {
List<Integer> s;
try {
s = theMachine.getGoals(state);
} catch (GoalDefinitionException e) {
System.err.println("Could not compute goal values.");
return null;
}
int[] scores = new int[s.size()];
for (int i = 0; i < scores.length; i++) {
scores[i] = s.get(i);
}
return scores;
}
try {
state = theMachine.getNextState(state, theMachine.getRandomJointMove(state));
} catch (TransitionDefinitionException e) {
System.err.println("Could not perform state update.");
return null;
} catch (MoveDefinitionException e) {
System.err.println("Could not compute legal moves.");
return null;
}
}
return null;
}
@Override
public void stateMachineMetaGame(long timeout)
throws TransitionDefinitionException, MoveDefinitionException, GoalDefinitionException {
System.out.println("Metagame. Preparing to test the state machine");
StateMachine stateMachine = getStateMachine();
ProverStateMachine psm = (ProverStateMachine) stateMachine;
List gdlDescription = psm.gdlDescription;
// The only line you have to adapt in this file
StateMachine stateMachineX = new CachedStateMachine(new PropNetStateMachine());
stateMachineX.initialize(gdlDescription);
MachineState rootState = stateMachine.getInitialState();
MachineState rootStateX = stateMachineX.getInitialState();
if (!compare(rootState, rootStateX)) {
System.out.println("Initial states are different");
System.out.println(rootState);
System.out.println(rootStateX);
return;
}
long finishBy = timeout - 1000;
int nbExpansion = 0;
boolean abort = false;
while (System.currentTimeMillis() < finishBy && !abort) {
MachineState state = rootState;
while (true) {
boolean isTerminal = stateMachine.isTerminal(state);
boolean isTerminalX = stateMachineX.isTerminal(state);
if (!compare(isTerminal, isTerminalX)) {
System.out.println("DISCREPANCY between isTerminal values");
System.out.println("State : " + state);
abort = true;
break;
}
if (isTerminal) {
List goal = stateMachine.getGoals(state);
List goalX = stateMachineX.getGoals(state);
if (!compare(goal, goalX)) {
System.out.println("DISCREPANCY between goal values");
System.out.println(goal);
System.out.println(goalX);
abort = true;
break;
}
break;
}
for (Role role : stateMachine.getRoles()) {
List moves = stateMachine.getLegalMoves(state, role);
List movesX = stateMachineX.getLegalMoves(state, role);
if (!compare(moves, movesX, role)) {
System.out.println("DISCREPANCY between legal moves for role " + role);
System.out.println(moves);
System.out.println(movesX);
abort = true;
break;
}
}
List jointMove = stateMachine.getRandomJointMove(state);
MachineState nextState = stateMachine.getNextState(state, jointMove);
MachineState nextStateX = stateMachineX.getNextState(state, jointMove);
if (!compare(nextState, nextStateX)) {
System.out.println("DISCREPANCY between next states");
System.out.println("Previous state : " + state);
System.out.println("Joint move : " + jointMove);
System.out.println("New state : " + nextState);
System.out.println("New stateX : " + nextStateX);
abort = true;
break;
}
state = nextState;
nbExpansion++;
}
}
System.out.println("Metagaming finished");
System.out.println("Nb expansion : " + nbExpansion);
}