Module `Condition.MakeConditionMapCuddMTBDD`

Parameters

module L : Condition_map.L

type t = L.t CuddMTBDD.t

val fresh_id : unit -> int

val hash : 'a CuddMTBDD.t -> CuddMTBDD.id

val equal : 'a -> 'a -> bool

val pretty : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a CuddMTBDD.t ->
  unit

module TerminalHash : sig ... end

module IfHash : sig ... end

val weakhash_default_size : int

val tag_ref : int Stdlib.ref

val terminal_table : TerminalHash.t

val if_table : IfHash.t

val terminal : L.t -> TerminalHash.data

val base_mk : 
  ConditionCudd.t ->
  L.t CuddMTBDD.t ->
  L.t CuddMTBDD.t ->
  IfHash.data

val mk : ConditionCudd.t -> IfHash.data -> IfHash.data -> IfHash.data

val create_partial : 'a CuddMTBDD.t

module Cond = ConditionCudd

module L = L

type value = L.t

module T : sig ... end

module Find_cache : sig ... end

val find_cache : L.t Find_cache.t

module Find_all_cache : sig ... end

val find_all_cache : L.t Find_all_cache.t

val find : T.t -> ConditionCudd.t -> L.t

module Refine_cache = Find_cache

module Loop_cache : sig ... end

module T2_cache : sig ... end

val replace_all : L.t -> 'a CuddMTBDD.t -> TerminalHash.data

module Value_cache : sig ... end

val refine_cache : 
  (IfHash.data Refine_cache.t * IfHash.data Loop_cache.t T2_cache.t)
    Value_cache.t

val refine : 
  L.t CuddMTBDD.t ->
  cond:ConditionCudd.t ->
  ?notcond:'a ->
  L.t ->
  inter:(L.t -> L.t -> L.t) ->
  IfHash.data

val fold_with_cond : 'a -> 'b