package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type global_solver_factory = string array -> Paritygame.global_solver

val register_solver_factory : 
  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 -> global_solver_factory * string * string

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

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

type partial_solver_factory = string array -> Paritygame.partial_solver

val register_partial_solver_factory : 
  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 -> partial_solver_factory * string * string

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

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