1signature mleDiophSynt = 2sig 3 4 include Abbrev 5 6 type tnn = mlTreeNeuralNetwork.tnn 7 type poly = mleDiophLib.poly 8 type board = poly * bool list * int 9 datatype move = Add of int | Exp of int 10 11 (* target *) 12 val create_targetl : (int list * poly) list -> (board list * board list) 13 val export_targetl : string -> board list -> unit 14 val import_targetl : string -> board list 15 val mk_targetd : board list -> (board, int * bool list) Redblackmap.dict 16 17 (* reinforcement learning *) 18 val extsearch : board mlReinforce.es 19 val rlobj : (board,move) mlReinforce.rlobj 20 21 (* mcts for manual inspection *) 22 val solve_target : (bool * real * tnn) -> board -> (board,move) psMCTS.tree 23 val solve_diophset : (bool * real * tnn) -> int list -> unit 24 25 (* final testing 26 val ft_extsearch_uniform : board mlReinforce.ftes 27 val ft_extsearch_distance : board mlReinforce.ftes 28 val fttnn_extsearch : board mlReinforce.fttnnes 29 val fttnnbs_extsearch : board mlReinforce.fttnnes 30 *) 31 32end 33