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