package pgsolver

  1. Overview
  2. Docs
type 'a symbolic_paritygame
val create_new : 'a -> 'a symbolic_paritygame
val to_paritygame : 'a symbolic_paritygame -> Paritygame.paritygame
val touch_node : 'a symbolic_paritygame -> 'a -> unit
val add_node : 'a symbolic_paritygame -> 'a -> Paritygame.priority -> Paritygame.player -> 'a array -> string option -> unit
OCaml

Innovation. Community. Security.