package pgsolver

  1. Overview
  2. Docs
val register : unit -> unit
val enable_exp_bit_count : bool Stdlib.ref
val get_last_exp_bit_count : unit -> int
val get_last_iteration_count : unit -> int
val _strat_impr_callback : (Paritygame.strategy -> int -> unit) option Stdlib.ref
type node_total_ordering_fun = Paritygame.paritygame -> Paritygame.node -> Paritygame.node -> int
val node_total_ordering_by_position : node_total_ordering_fun
type node_valuation = Paritygame.node * Paritygame.node Tcsset.TreeSet.t * int
type game_valuation = node_valuation array
val initial_strategy_by_best_reward : Paritygame.paritygame -> Paritygame.strategy
val strategy_improvement_optimize_all_locally_policy : Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy
val node_valuation_ordering : Paritygame.paritygame -> node_total_ordering_fun -> node_valuation -> node_valuation -> int
val register_sub_solver : (Paritygame.paritygame -> Paritygame.solution * Paritygame.strategy) -> string -> string -> string -> unit
type initial_strategy_fun = Paritygame.paritygame -> Paritygame.strategy
val strategy_improvement_by_policy : Paritygame.paritygame -> 'a improvement_policy_fun -> 'a -> bool -> string -> Paritygame.solution * Paritygame.strategy
val improvement_policy_no_user_data : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a -> 'b -> 'f -> 'c -> 'd -> 'e * 'f
val node_valuation_total_ordering : Paritygame.paritygame -> node_total_ordering_fun -> game_valuation -> Paritygame.node -> Paritygame.node -> int
val best_decision_by_ordering : Paritygame.paritygame -> (Paritygame.node -> Paritygame.node -> int) -> Paritygame.node -> int
val empty_descending_relevance_ordered_set : Paritygame.paritygame -> node_total_ordering_fun -> Paritygame.node Tcsset.TreeSet.t
val initial_strategy_by_last_edge : Paritygame.paritygame -> Paritygame.strategy
type mdplike_valuation = ((Paritygame.node, float) Tcsset.TreeMap.t * bool option) array
val mdplike_valuation : Paritygame.paritygame -> int -> Paritygame.strategy -> mdplike_valuation
val compare_mdplike_valuation : Paritygame.paritygame -> mdplike_valuation -> Paritygame.node -> Paritygame.node -> int
OCaml

Innovation. Community. Security.