package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Condition.MakeConditionMapCuddMTBDD`Source

module L : Condition_map.L

Sourcetype t = L.t CuddMTBDD.t

Sourceval fresh_id : unit -> int

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

Sourceval equal : 'a -> 'a -> bool

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

Sourcemodule TerminalHash : sig ... end

Sourcemodule IfHash : sig ... end

Sourceval weakhash_default_size : int

Sourceval tag_ref : int ref

Sourceval terminal_table : TerminalHash.t

Sourceval if_table : IfHash.t

Sourceval terminal : L.t -> TerminalHash.data

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

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

Sourceval create_partial : 'a CuddMTBDD.t

Sourcemodule Cond = ConditionCudd

Sourcemodule L = L

Sourcetype value = L.t

Sourcemodule T : sig ... end

Sourcemodule Find_cache : sig ... end

Sourceval find_cache : L.t Find_cache.t

Sourcemodule Find_all_cache : sig ... end

Sourceval find_all_cache : L.t Find_all_cache.t

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

Sourcemodule Refine_cache = Find_cache

Sourcemodule Loop_cache : sig ... end

Sourcemodule T2_cache : sig ... end

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

Sourcemodule 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:??? ->
  L.t ->
  inter:(L.t -> L.t -> L.t) ->
  IfHash.data

Sourceval fold_with_cond : 'a -> 'b