package mlbdd

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type var = int
type t
type man
type support
type 'a hist
type 'a e =
  1. | False
  2. | True
  3. | Not of 'a
  4. | If of 'a * var * 'a
type 'a b =
  1. | BFalse
  2. | BTrue
  3. | BIf of 'a * var * 'a
val clear : man -> unit
val flush : man -> unit
val init : ?cache:int -> unit -> man
val equal : t -> t -> bool
val dtrue : t
val dfalse : t
val is_true : t -> bool
val is_false : t -> bool
val id : t -> int
val hash : t -> int
val to_string : t -> string
val to_stringb : t -> string
val ithvar : man -> var -> t
val dnot : t -> t
val dand : man -> t -> t -> t
val dor : man -> t -> t -> t
val nand : man -> t -> t -> t
val imply : man -> t -> t -> t
val eq : man -> t -> t -> t
val nxor : man -> t -> t -> t
val xor : man -> t -> t -> t
val ite : man -> t -> var -> t -> t
val cofactor : man -> var -> t -> t * t
val support : man -> t -> support
val string_of_support : support -> string
val list_of_support : support -> var list
val support_of_list : var list -> support
val exists_sorted : man -> var list -> t -> t
val forall_sorted : man -> int list -> t -> t
val exists : man -> var list -> t -> t
val forall : man -> var list -> t -> t
val sat : t -> (bool * var) list option
val itersat : man -> ((bool * var) list -> unit) -> t -> unit
val allsat : man -> t -> (bool * var) list list
val iterprime : man -> ((bool * var) list -> unit) -> t -> unit
val allprime : man -> t -> (bool * var) list list
val prime : man -> t -> (bool * var) list option
val inspect : t -> t e
val inspectb : t -> t b
val fold_init : man -> 'a hist
val fold_cont : 'a hist -> man -> ('a e -> 'a) -> t -> 'a
val foldb_cont : 'a hist -> man -> ('a b -> 'a) -> t -> 'a
val fold : man -> ('a e -> 'a) -> t -> 'a
val foldb : man -> ('a b -> 'a) -> t -> 'a
val permute : man -> var array -> t -> t
val permutef : man -> (var -> var) -> t -> t
OCaml

Innovation. Community. Security.