Structure psBigSteps

signature psBigSteps =
sig

  include Abbrev

  (* tree *)
  type id = psMCTS.id
  type ('a,'b) node = ('a,'b) psMCTS.node
  type ('a,'b) tree = ('a,'b) psMCTS.tree

  (* reinforcement learning examples *)
  type 'a rlex = ('a * real list) list

  (* tree reuse *)
  val cut_tree : id -> ('a,'b) tree -> ('a,'b) tree
  val build_cache : ('a,'b) psMCTS.game -> ('a,'b) tree ->
    ('a, psMCTS.id) Redblackmap.dict

  (* bigsteps *)
  type ('a,'b) bsobj =
    {
    verbose : bool,
    temp_flag : bool,
    preplayer : 'a -> ('a,'b) psMCTS.player,
    game : ('a,'b) psMCTS.game,
    mctsparam : psMCTS.mctsparam
    }

  val run_bigsteps : ('a,'b) bsobj -> 'a -> bool * 'a rlex * ('a,'b) node list

end

HOL 4, Kananaskis-14