Module Apron_domain

module Apron_domain: sig .. end

Experimental binding for the numerical abstract domains provided by the APRON library: http://apron.cri.ensmp.fr/library For now, this binding only processes scalar integer variables.


val ok : bool

Are apron domains available?

module type S = Abstract_domain.Internal 
  with type value = Main_values.Interval.t
   and type location = Precise_locs.precise_location

Signature of an Apron domain in Eva.

Apron domains available for Eva.

module Octagon: S 

Octagons abstract domain.

module Box: S 

Intervals abstract domain.

module Polka_Loose: S 

Loose polyhedra of the NewPolka library.

module Polka_Strict: S 

Strict polyhedra of the NewPolka library.

module Polka_Equalities: S 

Linear equalities.

Domain keys for the Apron domains in Eva.

val octagon_key : Octagon.t Abstract_domain.key
val box_key : Box.t Abstract_domain.key
val polka_loose_key : Polka_Loose.t Abstract_domain.key
val polka_strict_key : Polka_Strict.t Abstract_domain.key
val polka_equalities_key : Polka_Equalities.t Abstract_domain.key