bddapron 2.3.3 · OCaml Package

type !'a typ = [

| `Benum of 'a

]

type !'a typdef = [

| `Benum of 'a array

]

type !'a t = {

typ : string;
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

package bddapron