Module `Condition.MakeConditionMapCuddTree`

Parameters

module L : Condition_map.L

type t = L.t CuddTree.t

val fresh_id : unit -> int

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

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

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 mk : ConditionCudd.t -> IfHash.data -> IfHash.data -> IfHash.data

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

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

val create_partial : 'a CuddTree.t

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

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

module Cond = ConditionCudd

module L = L

type value = L.t

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