package mlbdd

  1. Overview
  2. Docs
package mlbdd
Legend:
Library
Module
Module type
Parameter
Class
Class type
type var = int
type man
type t
type support
val init : ?cache:int -> unit -> man
val clear : man -> unit
val manager : t -> man
val support : t -> support
val list_of_support : support -> int list
val support_of_list : int list -> support
val string_of_support : support -> string
val is_true : t -> bool
val is_false : t -> bool
val equal : t -> t -> bool
val id : t -> int
val hash : t -> int
val dtrue : man -> t
val dfalse : man -> t
val ithvar : man -> var -> t
val dnot : t -> t
val dand : t -> t -> t
val dor : t -> t -> t
val nand : t -> t -> t
val xor : t -> t -> t
val nxor : t -> t -> t
val eq : t -> t -> t
val ite : t -> var -> t -> t
val imply : t -> t -> t
val exists : support -> t -> t
val forall : support -> t -> t
val cofactor : var -> t -> t * t
val permute : var array -> t -> t
val permutef : (var -> var) -> t -> t
type !'a e =
  1. | False
  2. | True
  3. | Not of 'a
  4. | If of 'a * var * 'a
val inspect : t -> t e
type !'a b =
  1. | BFalse
  2. | BTrue
  3. | BIf of 'a * var * 'a
val inspectb : t -> t b
val fold : ('r e -> 'r) -> t -> 'r
val foldb : ('r b -> 'r) -> t -> 'r
val sat : t -> (bool * var) list option
val allsat : t -> (bool * var) list list
val itersat : ((bool * var) list -> unit) -> t -> unit
val prime : t -> (bool * var) list option
val allprime : t -> (bool * var) list list
val iterprime : ((bool * var) list -> unit) -> t -> unit
val to_string : t -> string
val to_stringb : t -> string
module Raw : sig ... end
module type WHS = sig ... end
module WeakHash (H : Stdlib.Hashtbl.HashedType) : sig ... end