package bddapron

  1. Overview
  2. Docs
type !'a typ = [
  1. | `Benum of 'a
]
type !'a typdef = [
  1. | `Benum of 'a array
]
type !'a t = {
  1. typ : string;
  2. reg : 'a Reg.t;
}
type dt = Cudd.Man.d t
type vt = Cudd.Man.v t
val of_label : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> 'd t
val is_cst : 'd t -> bool
val to_code : 'd t -> int
val to_label : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t -> 'a
val equal_label : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t -> 'a -> 'd Cudd.Bdd.t
val equal : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t -> 'd t -> 'd Cudd.Bdd.t
val ite : 'd Cudd.Bdd.t -> 'd t -> 'd t -> 'd t
val guard_of_label : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t -> 'a -> 'd Cudd.Bdd.t
val guardlabels : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd t -> ('d Cudd.Bdd.t * 'a) list
val cofactor : 'd t -> 'd Cudd.Bdd.t -> 'd t
val restrict : 'd t -> 'd Cudd.Bdd.t -> 'd t
val tdrestrict : 'd t -> 'd Cudd.Bdd.t -> 'd t
val print : (Format.formatter -> int -> unit) -> Format.formatter -> 'd t -> unit
val print_minterm : (Format.formatter -> 'd Cudd.Bdd.t -> unit) -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> Format.formatter -> 'd t -> unit
val size_of_typ : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> int
val maxcode_of_typ : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> int
val mem_typcode : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> int -> bool
val labels_of_typ : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> 'a array
val code_of_label : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> int
val label_of_typcode : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> int -> 'a
module Minterm : sig ... end
val permute : ?memo:Cudd.Memo.t -> 'a t -> int array -> 'a t
val varmap : 'a t -> 'a t
val vectorcompose : ?memo:Cudd.Memo.t -> 'a Cudd.Bdd.t array -> 'a t -> 'a t
OCaml

Innovation. Community. Security.