Up – Package index » pgsolver » Library pgsolver » Paritygamebitset

Module `Paritygamebitset`

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

val attr_bit : 
  Paritygame.paritygame ->
  BitSet.t ->
  int Queue.t ->
  int Queue.t ->
  Paritygame.strategy ->
  Paritygame.player ->
  BitSet.t ->
  int Enum.t ->
  BitSet.t