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

Dune Dependency

github.com Edit opam file Versions (2)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v4.3.tar.gz

md5=2a2351836e74173c48bdcd82ccc8521a

sha512=d166662ece175b2249ec564fad9eb461c86341e6004c43bd65e4a32943f5e77b1f2eef31533363d4f0fc91f639ab42120ea24f59add23bda50e1cf46c7e709bb

doc/pgsolver/Mdp/index.html

Module `Mdp`

type generalized_mdp_node =

| Controller of int array * string option
| Randomizer of (Tcsmaths.BigFloat.t * int) array
| Reward of Tcsmaths.BigFloat.t * int
| Sink

type generalized_mdp = generalized_mdp_node array

val parity_game_to_generalized_mdp : 
  Paritygame.paritygame ->
  int ->
  (int -> int -> bool) ->
  generalized_mdp

type mdp =
  ((Tcsmaths.BigFloat.t * Tcsmaths.BigFloat.t * int) array array
   * string option)
    array

val generalized_mdp_to_mdp : generalized_mdp -> mdp

val print_mdp : mdp -> unit

type lp_objective =

| Maximize
| Minimize

type lp_constraint_type =

| LPEq
| LPGeq

type lp =
  lp_objective
  * string option array
  * Tcsmaths.BigFloat.t array
  * (Tcsmaths.BigFloat.t array
     * Tcsmaths.BigFloat.t
     * lp_constraint_type
     * string option)
      array

val unichain_mdp_to_primal_lp : mdp -> lp

val unichain_mdp_to_dual_lp : mdp -> lp

val print_lp : lp -> unit