Module Apronext__.Apol

include sig ... end
module A = Apron.Abstract1
type t = Polka.strict Polka.t A.t
val man : Polka.strict Polka.t Apron.Manager.t
val bottom : Apron.Environment.t -> Polka.strict Polka.t A.t
val top : Apron.Environment.t -> Polka.strict Polka.t A.t
val join : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t
val meet : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t
val widening : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t
val is_bottom : Polka.strict Polka.t A.t -> bool
val is_top : Polka.strict Polka.t A.t -> bool
val is_leq : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> bool
val is_eq : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> bool
val sat_lincons : Polka.strict Polka.t A.t -> Apron.Lincons1.t -> bool
val sat_tcons : Polka.strict Polka.t A.t -> Apron.Tcons1.t -> bool
val filter_lincons : Polka.strict Polka.t A.t -> L.t -> Polka.strict Polka.t A.t
val filter_tcons : Polka.strict Polka.t A.t -> T.t -> Polka.strict Polka.t A.t
val to_lincons_array : Polka.strict Polka.t A.t -> Apron.Lincons1.earray
val to_tcons_array : Polka.strict Polka.t A.t -> Apron.Tcons1.earray
val to_generator_array : Polka.strict Polka.t A.t -> Apron.Generator1.earray
val to_lincons_list : Polka.strict Polka.t A.t -> L.t list
val to_tcons_list : Polka.strict Polka.t A.t -> T.t list
val to_generator_list : Polka.strict Polka.t A.t -> G.t list
val of_generator_list : Apron.Generator1.t list -> Polka.strict Polka.t A.t
val of_generator_array : Apron.Generator1.earray -> Polka.strict Polka.t A.t
val of_lincons_array : Apron.Environment.t -> Apron.Lincons1.earray -> Polka.strict Polka.t A.t
val of_tcons_array : Apron.Environment.t -> Apron.Tcons1.earray -> Polka.strict Polka.t A.t
val of_lincons_list : Apron.Environment.t -> L.t list -> Polka.strict Polka.t A.t
val of_tcons_list : Apron.Environment.t -> T.t list -> Polka.strict Polka.t A.t
val of_box : Apron.Environment.t -> Apron.Var.t array -> Apron.Interval.t array -> Polka.strict Polka.t A.t
val get_environment : 'a A.t -> Apron.Environment.t
val change_environment : Polka.strict Polka.t A.t -> Apron.Environment.t -> Polka.strict Polka.t A.t
val assign_texpr : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Texpr1.t -> Polka.strict Polka.t A.t
val assign_linexpr : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Linexpr1.t -> Polka.strict Polka.t A.t
val assign_f : Polka.strict Polka.t A.t -> Apron.Var.t -> float -> Polka.strict Polka.t A.t
val assign_fs : Polka.strict Polka.t A.t -> string -> float -> Polka.strict Polka.t A.t
val add_var : Polka.strict Polka.t A.t -> Apron.Environment.typvar -> Apron.Var.t -> Polka.strict Polka.t A.t
val add_var_s : Polka.strict Polka.t A.t -> Apron.Environment.typvar -> string -> Polka.strict Polka.t A.t
val bound_variable : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Interval.t
val bound_variable_f : Polka.strict Polka.t A.t -> Apron.Var.t -> float * float
val bound_variable_s : Polka.strict Polka.t A.t -> string -> Apron.Interval.t
val bound_variable_fs : Polka.strict Polka.t A.t -> string -> float * float
val is_bounded_variable : Polka.strict Polka.t A.t -> Apron.Var.t -> bool
val is_bounded_s : Polka.strict Polka.t A.t -> string -> bool
val is_bounded : Polka.strict Polka.t A.t -> bool
val to_box : Polka.strict Polka.t A.t -> Box.t A.t
val to_oct : Polka.strict Polka.t A.t -> Oct.t A.t
val to_poly : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t
val print : Stdlib.Format.formatter -> 'a A.t -> unit
val pp_print : Stdlib.Format.formatter -> Polka.strict Polka.t A.t -> unit
val proj2D : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Var.t -> Polka.strict Polka.t A.t
val proj3D : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Var.t -> Apron.Var.t -> Polka.strict Polka.t A.t
val proj2D_s : Polka.strict Polka.t A.t -> string -> string -> Polka.strict Polka.t A.t
val proj3D_s : Polka.strict Polka.t A.t -> string -> string -> string -> Polka.strict Polka.t A.t
val to_vertices2D : Polka.strict Polka.t A.t -> Apron.Var.t -> Apron.Var.t -> (float * float) list
val to_vertices2D_s : Polka.strict Polka.t A.t -> string -> string -> (float * float) list
val set_diff : Polka.strict Polka.t Apronext.Abstractext.t -> Polka.strict Polka.t A.t -> Polka.strict Polka.t Apronext.Abstractext.t * Polka.strict Polka.t Apronext.Abstractext.t list