module Oct:OCT: octagon abstract domain.sig
..end
type
internal
val manager_alloc : unit -> Apron.Manager.t
Allocate a new manager to manipulate octagons.
val manager_get_internal : Apron.Manager.t -> internal
val of_generator_array : Apron.Manager.t ->
int -> int -> Apron.Generator0.t array -> Apron.Abstract0.t
val widening_thresholds : Apron.Manager.t ->
Apron.Abstract0.t ->
Apron.Abstract0.t -> Apron.Scalar.t array -> Apron.Abstract0.t
val narrowing : Apron.Manager.t ->
Apron.Abstract0.t -> Apron.Abstract0.t -> Apron.Abstract0.t
val add_epsilon : Apron.Manager.t -> Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
val add_epsilon_bin : Apron.Manager.t ->
Apron.Abstract0.t -> Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
val pre_widening : int