package ocaml-buddy

  1. Overview
  2. Docs
package ocaml-buddy
Legend:
Library
Module
Module type
Parameter
Class
Class type
type bdd
type bddpair
type var = int
type value =
  1. | False
  2. | True
  3. | Unknown
type solution =
  1. | SAT
  2. | UNSAT
  3. | UNKNOWN
val value_of_var : var -> value
val string_of_value : value -> string
type reorder_strategy =
  1. | Win2
  2. | Win2ite
  3. | Win3
  4. | Win3ite
  5. | Sift
  6. | Siftite
  7. | Random
val bdd_compare : bdd -> bdd -> int
val bdd_init : ?nodenum:int -> ?cachesize:int -> unit -> unit
val bdd_done : unit -> unit
val bdd_setvarnum : int -> unit
val bdd_varnum : unit -> int
val bdd_newvar : unit -> var
val bdd_pos : var -> bdd
val bdd_neg : var -> bdd
val bdd_true : bdd
val bdd_false : bdd
val bdd_not : bdd -> bdd
val bdd_and : bdd -> bdd -> bdd
val bdd_or : bdd -> bdd -> bdd
val bdd_xor : bdd -> bdd -> bdd
val bdd_imp : bdd -> bdd -> bdd
val bdd_biimp : bdd -> bdd -> bdd
val bdd_ite : bdd -> bdd -> bdd -> bdd
val bdd_bigor : bdd list -> bdd
val bdd_bigand : bdd list -> bdd
val bdd_allsat : ((var * value) list -> unit) -> bdd -> unit
val bdd_satone : bdd -> bdd
val bdd_satoneset : ?pol:bool -> bdd -> var list -> bdd
val bdd_makeset : var list -> bdd
val bdd_simplify : bdd -> bdd -> bdd
val bdd_var : bdd -> var
val bdd_high : bdd -> bdd
val bdd_low : bdd -> bdd
val bdd_restrict : bdd -> bdd -> bdd
val bdd_support : bdd -> bdd
val bdd_nodecount : bdd -> int
val bdd_newpair : unit -> bddpair
val bdd_setpair : bddpair -> int -> int -> int
val bdd_replace : bdd -> bddpair -> bdd
val bdd_varblockall : unit -> unit
val bdd_addvarblock : bdd -> int -> int
val bdd_intaddvarblock : int -> int -> int -> int
val bdd_reorder : ?strategy:reorder_strategy -> unit -> unit
val bdd_autoreorder : ?strategy:reorder_strategy -> unit -> unit
val bdd_setvarorder : int list -> unit
val bdd_enable_reorder : unit -> unit
val bdd_disable_reorder : unit -> unit
val bdd_reorder_verbose : int -> int
val bdd_fprintorder : Stdlib.out_channel -> unit
val bdd_level2var : int -> int
val bdd_var2level : int -> int
val bdd_setmaxincrease : int -> int
val bdd_setcacheratio : int -> int
val bdd_fprinttable : Stdlib.out_channel -> bdd -> unit
val bdd_fprintdot : Stdlib.out_channel -> bdd -> unit
val bdd_fprintset : Stdlib.out_channel -> bdd -> unit
val bdd_load : Stdlib.in_channel -> bdd
val bdd_save : Stdlib.out_channel -> bdd -> unit
val bdd_createset : (int -> bool) -> bdd
val bdd_relprod : (int -> bool) -> bdd -> bdd -> bdd
exception EmptyBdd
val bdd_setfold : (int -> 'a -> 'a) -> bdd -> 'a -> 'a