Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Apronext.Abstractext
Sourceinclude module type of struct include Apron.Abstract1 end
val size : 'a Apron.Manager.t -> 'a t -> int
val minimize : 'a Apron.Manager.t -> 'a t -> unit
val canonicalize : 'a Apron.Manager.t -> 'a t -> unit
val hash : 'a Apron.Manager.t -> 'a t -> int
val approximate : 'a Apron.Manager.t -> 'a t -> int -> unit
val fdump : 'a Apron.Manager.t -> 'a t -> unit
val print : Format.formatter -> 'a t -> unit
val bottom : 'a Apron.Manager.t -> Apron.Environment.t -> 'a t
val top : 'a Apron.Manager.t -> Apron.Environment.t -> 'a t
val of_box :
'a Apron.Manager.t ->
Apron.Environment.t ->
Apron.Var.t array ->
Apron.Interval.t array ->
'a t
val manager : 'a t -> 'a Apron.Manager.t
val env : 'a t -> Apron.Environment.t
val abstract0 : 'a t -> 'a Apron.Abstract0.t
val is_bottom : 'a Apron.Manager.t -> 'a t -> bool
val is_top : 'a Apron.Manager.t -> 'a t -> bool
val sat_lincons : 'a Apron.Manager.t -> 'a t -> Apron.Lincons1.t -> bool
val sat_tcons : 'a Apron.Manager.t -> 'a t -> Apron.Tcons1.t -> bool
val sat_interval :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t ->
Apron.Interval.t ->
bool
val is_variable_unconstrained :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t ->
bool
val bound_variable :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t ->
Apron.Interval.t
val bound_linexpr :
'a Apron.Manager.t ->
'a t ->
Apron.Linexpr1.t ->
Apron.Interval.t
val bound_texpr :
'a Apron.Manager.t ->
'a t ->
Apron.Texpr1.t ->
Apron.Interval.t
val to_lincons_array : 'a Apron.Manager.t -> 'a t -> Apron.Lincons1.earray
val to_tcons_array : 'a Apron.Manager.t -> 'a t -> Apron.Tcons1.earray
val to_generator_array : 'a Apron.Manager.t -> 'a t -> Apron.Generator1.earray
val meet_lincons_array_with :
'a Apron.Manager.t ->
'a t ->
Apron.Lincons1.earray ->
unit
val meet_tcons_array_with :
'a Apron.Manager.t ->
'a t ->
Apron.Tcons1.earray ->
unit
val add_ray_array_with :
'a Apron.Manager.t ->
'a t ->
Apron.Generator1.earray ->
unit
val forget_array_with :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t array ->
bool ->
unit
val change_environment_with :
'a Apron.Manager.t ->
'a t ->
Apron.Environment.t ->
bool ->
unit
val minimize_environment_with : 'a Apron.Manager.t -> 'a t -> unit
val rename_array_with :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t array ->
Apron.Var.t array ->
unit
val expand_with :
'a Apron.Manager.t ->
'a t ->
Apron.Var.t ->
Apron.Var.t array ->
unit
val fold_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> unit
val closure_with : 'a Apron.Manager.t -> 'a t -> unit
val of_lincons_array :
'a Apron.Manager.t ->
Apron.Environment.t ->
Apron.Lincons1.earray ->
'a t
val of_tcons_array :
'a Apron.Manager.t ->
Apron.Environment.t ->
Apron.Tcons1.earray ->
'a t