package pgsolver

  1. Overview
  2. Docs
val is_empty_bset : BitSet.t -> int -> bool
val bit_dom_array_bound : int array -> int -> int -> BitSet.t
val collect_nodes_bit : Paritygame.paritygame -> int -> BitSet.t
val pre_bit : Paritygame.paritygame -> BitSet.t -> BitSet.t -> Paritygame.player -> BitSet.t -> int -> unit
OCaml

Innovation. Community. Security.