package pgsolver

  1. Overview
  2. Docs
A collection of tools for generating, manipulating and - most of all - solving parity games

Install 

dune-project
 Dependency

github.com Readme Changelog BSD-3-clause License Edit opam file Versions (3)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Sources

pgsolver-4.4.tbz
sha256=83e49699803a887bbf318425f5be02513976feba8f50e1c18c8f453046acfac2
sha512=4b7b05f175a5f07a312bc3249d0c82829d9ae3f428ed06fa79a26a32025cdaf653bb3d27ade1e715940cd45e15eac12f0b65594864de162f0cfd5c038de45320

doc/pgsolver/Stratimprgenerators/index.html

Module Stratimprgenerators

module SymbolicParityGame : sig ... end
type strat_impr_gen_args = string array
type strat_impr_gen = {
  1. ident : string;
  2. description : string;
  3. parity_game : (strat_impr_gen_args -> Paritygame.paritygame) option;
  4. generalized_mdp : (strat_impr_gen_args -> Mdp.generalized_mdp) option;
}
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