package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

A collection of tools for generating, manipulating and - most of all - solving parity games

Install

md5=2a2351836e74173c48bdcd82ccc8521a

sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb

module SymbolicParityGame : sig ... end

type strat_impr_gen_args = string array

type strat_impr_gen = {

}

val register_strat_impr_gen : strat_impr_gen -> unit

val mem_strat_impr_gen : string -> bool

val find_strat_impr_gen : string -> strat_impr_gen

val enum_strat_impr_gen : (strat_impr_gen -> unit) -> unit

val fold_strat_impr_gen : (strat_impr_gen -> 'a -> 'a) -> 'a -> 'a