Lines Matching refs:move
166 fun f ((move,polv),noise) =
171 (move,newpolv)
228 fun puct_choice param tree vtot ((move,polv),cid) =
248 fun lead_lose tree ((move,polv),cid) =
297 val move = find_move (#pol node) cid
298 val (board2,newtree) = (#apply_move (#game obj)) (tree,id) move board1
407 let val ((move,_),cid) = hd l in
408 (#board node, move) :: trace_win_movel tree cid
430 fun toy_apply_move (tree,id) move (start,finish,timer) = case move of