module Bdddomain1: sig .. end
Boolean/Numerical domain linked to environment
include Domainlevel1.Level1
val make_man : 'a Apron.Manager.t -> ('b, 'a) 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.