bddapron 2.3.3 · OCaml Package

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

val reg_of_expr : 'd expr -> 'd Cudd.Bdd.t array

module Bool : sig ... end

module Bint : sig ... end

module Benum : sig ... end

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

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

val ite : 'd Bool.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 Bool.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_by_var_list : 
  ?memo:Cudd.Memo.t ->
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t list ->
  ('a * 'a) list ->
  'd t list

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

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

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

val support_cond : 'd Cudd.Man.t -> 'd t -> 'd Cudd.Bdd.t

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

val tbdd_of_texpr : 'd t array -> 'd Cudd.Bdd.t array

val texpr_of_tbdd : 'd t array -> 'd Cudd.Bdd.t array -> 'd t array

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

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

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

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

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

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

val composition_of_lvarexpr : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  ('a * 'd t) list ->
  'd Cudd.Bdd.t array

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

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

val varmap : 'a t -> 'a t

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

val compose : ?memo:Cudd.Memo.t -> 'd t -> 'd Cudd.Bdd.t array -> 'd t

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

val compose_list : 
  ?memo:Cudd.Memo.t ->
  'd t list ->
  'd Cudd.Bdd.t array ->
  'd t list

module Expr : sig ... end

package bddapron