package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

Module `Solvers`

val register_solver_factory : 
  Solverregistry.global_solver_factory ->
  string ->
  string ->
  string ->
  unit

val register_solver : 
  Paritygame.global_solver ->
  string ->
  string ->
  string ->
  unit

val mem_solver : string -> bool

val find_solver : 
  string ->
  Solverregistry.global_solver_factory * string * string

val enum_solvers : 
  (Solverregistry.global_solver_factory -> string -> string -> string -> unit) ->
  unit

val fold_solvers : 
  (Solverregistry.global_solver_factory ->
    string ->
    string ->
    string ->
    'a ->
    'a) ->
  'a ->
  'a

val register_partial_solver_factory : 
  Solverregistry.partial_solver_factory ->
  string ->
  string ->
  string ->
  unit

val register_partial_solver : 
  Paritygame.partial_solver ->
  string ->
  string ->
  string ->
  unit

val mem_partial_solver : string -> bool

val find_partial_solver : 
  string ->
  Solverregistry.partial_solver_factory * string * string

val enum_partial_solvers : 
  (Solverregistry.partial_solver_factory -> string -> string -> string -> unit) ->
  unit

val fold_partial_solvers : 
  (Solverregistry.partial_solver_factory ->
    string ->
    string ->
    string ->
    'a ->
    'a) ->
  'a ->
  'a