Module Mtbdddomain1

module Mtbdddomain1: sig .. end

val make_man : ?global:bool -> 'a Apron.Manager.t -> ('b, 'a) Mtbdddomain0.man

Makes a BDDAPRON manager from an APRON manager. If global=true (default: false), uses a global (persistent) BDD cache for the operations is_leq, join, meet and exist (internal).

include Domainlevel1.Level1