Module Bddapron.Mtbdddomain1

module Mtbdddomain1: sig .. end

val make_man : ?global:bool -> 'b Apron.Manager.t -> ('a, 'b) Bddapron.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 Bddapron.Domainlevel1.Level1