package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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 normal_form_translation : Paritygame.paritygame -> Paritygame.paritygame
val uniquize_sorted_prios_inplace : Paritygame.paritygame -> unit
val uniquize_prios_inplace : Paritygame.paritygame -> unit
val min_max_swap_transformation : Paritygame.paritygame -> Paritygame.paritygame