Module Bddapron.Bdddomain1

module Bdddomain1: sig .. end

include Bddapron.Domainlevel1.Level1
val make_man : 'b Apron.Manager.t -> ('a, 'b) man
Makes a BDDAPRON manager from an APRON manager, and fills options with default values
val canonicalize : ?apron:bool ->
?unique:bool -> ?disjoint:bool -> ('a, 'b) man -> ('a, 'b) t -> unit
Canonicalize an abstract value by ensuring uniqueness and disjointness properties. If apron is true, then also normalize APRON abstract values. By default: apron=false, unique=disjoint=true.