Module Oct


module Oct: sig .. end
OCT: octagon abstract domain.

type internal 
val manager_alloc : unit -> Apron.Manager.t
OCT: octagon abstract domain.

Allocate a new manager to manipulate octagons.

val manager_get_internal : Apron.Manager.t -> internal
No internal parameters for now...
val of_generator_array : Apron.Manager.t ->
int -> int -> Apron.Generator0.t array -> Apron.Abstract0.t
Approximate a set of generators to an abstract value, with best precision.
val widening_thresholds : Apron.Manager.t ->
Apron.Abstract0.t ->
Apron.Abstract0.t -> Apron.Scalar.t array -> Apron.Abstract0.t
Widening with scalar thresholds.
val narrowing : Apron.Manager.t ->
Apron.Abstract0.t -> Apron.Abstract0.t -> Apron.Abstract0.t
Standard narrowing.
val add_epsilon : Apron.Manager.t -> Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
Perturbation.
val add_epsilon_bin : Apron.Manager.t ->
Apron.Abstract0.t -> Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
Perturbation.
val pre_widening : int
Algorithms.