bddapron 2.3.3 · OCaml Package

type 'd t = 'd Cudd.Bdd.t

type dt = Cudd.Man.d t

type vt = Cudd.Man.v t

val of_expr : [> `Bool of 'd t ] -> 'd t

val to_expr : 'd t -> [> `Bool of 'd t ]

val dtrue : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t

val dfalse : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t

val of_bool : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  bool ->
  'd t

val var : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'a ->
  'd t

val dnot : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t

val dand : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val dor : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val xor : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val nand : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val nor : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val nxor : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val leq : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val eq : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t

val ite : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  'd t ->
  'd t

val is_true : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  bool

val is_false : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  bool

val is_cst : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  bool

val is_eq : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  bool

val is_leq : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  bool

val is_and_false : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'd t ->
  bool

val exist : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'a list ->
  'd t ->
  'd t

val forall : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'a list ->
  'd t ->
  'd t

val cofactor : 'd t -> 'd t -> 'd t

val restrict : 'd t -> 'd t -> 'd t

val tdrestrict : 'd t -> 'd t -> 'd t

val permute : ?memo:Cudd.Memo.t -> 'd t -> int array -> 'd t

val varmap : 'a t -> 'a t

val substitute_by_var : 
  ?memo:Cudd.Memo.t ->
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  ('a * 'a) list ->
  'd t

val substitute : 
  ?memo:Cudd.Memo.t ->
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  ('a * 'd expr) list ->
  'd t

val print : 
  ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) ->
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  Format.formatter ->
  'd t ->
  unit

package bddapron