package mlsolver

You can search for identifiers within the package.

in-package search v0.2.0

Module `Pgsolversregistry`

type solver_func =
  string array ->
  Tcsgames.explicit_pg ->
  Tcsgames.explicit_pg_solution * Tcsgames.explicit_pg_strategy

val register_solver : solver_func -> string -> string -> string -> unit

val mem_solver : string -> bool

val find_solver : string -> solver_func * string * string

val enum_solvers : (solver_func -> string -> string -> string -> unit) -> unit

val fold_solvers : 
  (solver_func -> string -> string -> string -> 'a -> 'a) ->
  'a ->
  'a

type partial_solver_func =
  string array ->
  int Tcsgames.initpg ->
  int Tcsgames.initpg_solution * int Tcsgames.initpg_strategy

val register_partial_solver : 
  partial_solver_func ->
  string ->
  string ->
  string ->
  unit

val mem_partial_solver : string -> bool

val find_partial_solver : string -> partial_solver_func * string * string

val enum_partial_solvers : 
  (partial_solver_func -> string -> string -> string -> unit) ->
  unit

val fold_partial_solvers : 
  (partial_solver_func -> string -> string -> string -> 'a -> 'a) ->
  'a ->
  'a