package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
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