pgsolver 4.3 (latest) · OCaml Package

val remove_useless_self_cycles_inplace : 
  Paritygame.paritygame ->
  Paritygame.node list

val compact_prio_inplace : 
  Paritygame.paritygame ->
  bool ->
  Paritygame.priority array

val priority_propagation_inplace : Paritygame.paritygame -> unit

val anti_propagation_inplace : Paritygame.paritygame -> unit

val single_scc_transformation : Paritygame.paritygame -> Paritygame.paritygame

val anti_priority_compactation_transformation : 
  Paritygame.paritygame ->
  Paritygame.paritygame

val cheap_escape_cycles_transformation : 
  Paritygame.paritygame ->
  bool ->
  Paritygame.paritygame

val total_transformation_inplace : Paritygame.paritygame -> unit

val total_revertive_restriction_inplace : 
  Paritygame.paritygame ->
  Paritygame.strategy ->
  unit

val alternating_transformation : 
  Paritygame.paritygame ->
  bool ->
  Paritygame.paritygame

val alternating_revertive_restriction : 
  Paritygame.paritygame ->
  Paritygame.paritygame ->
  Paritygame.solution ->
  Paritygame.strategy ->
  Paritygame.solution * Paritygame.strategy

val partialpg_alternating_transformation : 
  Paritygame.partial_paritygame ->
  Paritygame.partial_paritygame

val partialpg_alternating_revertive_restriction : 
  Paritygame.partial_solution ->
  Paritygame.partial_solution

val increase_priority_occurrence : 
  Paritygame.paritygame ->
  Paritygame.paritygame

val prio_alignment_transformation : 
  Paritygame.paritygame ->
  Paritygame.paritygame

val dummy_transformation : Paritygame.paritygame -> Paritygame.paritygame

val shift_game : Paritygame.paritygame -> int -> Paritygame.paritygame

val combine_games : Paritygame.paritygame list -> Paritygame.paritygame

val bouncing_node_transformation : 
  Paritygame.paritygame ->
  Paritygame.paritygame

val compress_nodes : 
  Paritygame.paritygame ->
  Paritygame.paritygame * Paritygame.node array * Paritygame.node array

val normal_form_translation : Paritygame.paritygame -> Paritygame.paritygame

val normal_form_revertive_translation : 
  Paritygame.paritygame ->
  Paritygame.solution ->
  Paritygame.strategy ->
  Paritygame.solution * Paritygame.strategy

val uniquize_sorted_prios_inplace : Paritygame.paritygame -> unit

val uniquize_prios_inplace : Paritygame.paritygame -> unit

val min_max_swap_transformation : 
  Paritygame.paritygame ->
  Paritygame.paritygame

val sort_game_by_prio : 
  Paritygame.paritygame ->
  Paritygame.paritygame * Paritygame.node array * Paritygame.node array

package pgsolver