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