package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

pgsolver

Legend:
Library
Module
Module type
Parameter
Class
Class type

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