probAction = (ProbabilityAction) action;
} else {
throw new IllegalStateException("What action is this? "
+ action);
}
GameTreeNode node = pair.getRight();
Round round = rounds.peek();
rounds.push(node.getGameState().getRound());
String actor = action.getAction().actor.equals(botId)?"Bot":"Player "+action.getAction().actor;
newItem.setText(new String[] { actor,
action.getAction().toString(), round.getName(),
Math.round(100 * probAction.getProbability()) + "%",
samples, "?", "?", "" + node.getNbTokens() ,
""+Util.parseDollars(node.getUpperWinBound() - relStackSize),
""+Util.parseDollars(node.getGameState().getGamePotSize()),
""+Util.parseDollars(lowerBound - relStackSize)
});
if (round == Round.FINAL) {
newItem.setBackground(2, new Color(display, 30, 30, 255));
} else if (round == Round.TURN) {