package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Condition.MakeConditionMapCuddTree`Source

module L : Condition_map.L

Sourcetype t = L.t CuddTree.t

Sourceval fresh_id : unit -> int

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

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

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

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

val _pretty : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a CuddTree.t ->
  unit

Sourceval pretty : 'a -> 'b -> unit

Sourceval create_partial : 'a CuddTree.t

val refine : 
  L.t CuddTree.t ->
  cond:ConditionCudd.t ->
  ?notcond:??? ->
  L.t ->
  inter:(L.t -> L.t -> L.t) ->
  TerminalHash.data

Sourceval find : 'a CuddTree.t -> Cudd.bdd -> 'a

Sourcemodule Cond = ConditionCudd

Sourcemodule L = L

Sourcetype value = L.t

val fold_with_cond : 
  'a CuddTree.t ->
  Cudd.bdd ->
  'b ->
  ('a -> Cudd.bdd -> 'b -> 'b) ->
  'b