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