Module `Condition.MakeConditionMapMTBDD`

Parameters

module Lattice : sig ... end

module Maybe_Lattice : sig ... end

module MTBDD : sig ... end

type value = Lattice.t

module L = Lattice

module Cond = ConditionMy

type t = MTBDD.t

val find : MTBDD.t -> Bed.BDD.bdd -> Lattice.t

val pretty : Stdlib.Format.formatter -> MTBDD.t -> unit

val refine : 
  MTBDD.t ->
  cond:Cond.bdd ->
  ?notcond:Cond.bdd ->
  Lattice.t ->
  MTBDD.t

val create : 'a -> 'b

val create_partial : MTBDD.t