public SimpleTreeNode ParetoTreePolicy()
{
SimpleTreeNode cur = this;
while (cur.nonTerminal() && !cur.state.isEnded())
{
if (cur.notFullyExpanded())
{
return(cur.expand());
}
else
{
cur = cur.bestChild();
}
// System.out.println("cur = " + cur);
}
return(cur);
}
