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); }