package apronext

  1. Overview
  2. Docs

Module Apronext.AbstractextSource

include module type of struct include Apron.Abstract1 end
type !'a t = 'a Apron.Abstract1.t = {
  1. mutable abstract0 : 'a Apron.Abstract0.t;
  2. mutable env : Apron.Environment.t;
}
type box1 = Apron.Abstract1.box1 = {
  1. mutable interval_array : Apron.Interval.t array;
  2. mutable box1_env : Apron.Environment.t;
}
val copy : 'a Apron.Manager.t -> 'a t -> 'a t
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 is_leq : 'a Apron.Manager.t -> 'a t -> 'a t -> bool
val is_eq : 'a Apron.Manager.t -> 'a 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_box : 'a Apron.Manager.t -> 'a t -> box1
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 : 'a Apron.Manager.t -> 'a t -> 'a t -> 'a t
val meet_array : 'a Apron.Manager.t -> 'a t array -> 'a t
val meet_lincons_array : 'a Apron.Manager.t -> 'a t -> Apron.Lincons1.earray -> 'a t
val meet_tcons_array : 'a Apron.Manager.t -> 'a t -> Apron.Tcons1.earray -> 'a t
val join : 'a Apron.Manager.t -> 'a t -> 'a t -> 'a t
val join_array : 'a Apron.Manager.t -> 'a t array -> 'a t
val add_ray_array : 'a Apron.Manager.t -> 'a t -> Apron.Generator1.earray -> 'a t
val meet_with : 'a Apron.Manager.t -> 'a t -> 'a t -> unit
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 join_with : 'a Apron.Manager.t -> 'a t -> 'a t -> unit
val add_ray_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Generator1.earray -> unit
val assign_linexpr_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Linexpr1.t array -> 'a t option -> 'a t
val substitute_linexpr_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Linexpr1.t array -> 'a t option -> 'a t
val assign_texpr_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Texpr1.t array -> 'a t option -> 'a t
val substitute_texpr_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Texpr1.t array -> 'a t option -> 'a t
val assign_linexpr_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Linexpr1.t array -> 'a t option -> unit
val substitute_linexpr_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Linexpr1.t array -> 'a t option -> unit
val assign_texpr_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Texpr1.t array -> 'a t option -> unit
val substitute_texpr_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Texpr1.t array -> 'a t option -> unit
val forget_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> bool -> 'a t
val forget_array_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> bool -> unit
val change_environment : 'a Apron.Manager.t -> 'a t -> Apron.Environment.t -> bool -> 'a t
val minimize_environment : 'a Apron.Manager.t -> 'a t -> 'a t
val rename_array : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> Apron.Var.t array -> 'a t
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 : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Var.t array -> 'a t
val fold : 'a Apron.Manager.t -> 'a t -> Apron.Var.t array -> 'a t
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 widening : 'a Apron.Manager.t -> 'a t -> 'a t -> 'a t
val widening_threshold : 'a Apron.Manager.t -> 'a t -> 'a t -> Apron.Lincons1.earray -> 'a t
val closure : 'a Apron.Manager.t -> 'a t -> 'a t
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
val assign_linexpr : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Linexpr1.t -> 'a t option -> 'a t
val substitute_linexpr : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Linexpr1.t -> 'a t option -> 'a t
val assign_texpr : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Texpr1.t -> 'a t option -> 'a t
val substitute_texpr : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Texpr1.t -> 'a t option -> 'a t
val assign_linexpr_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Linexpr1.t -> 'a t option -> unit
val substitute_linexpr_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Linexpr1.t -> 'a t option -> unit
val assign_texpr_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Texpr1.t -> 'a t option -> unit
val substitute_texpr_with : 'a Apron.Manager.t -> 'a t -> Apron.Var.t -> Apron.Texpr1.t -> 'a t option -> unit
val unify : 'a Apron.Manager.t -> 'a t -> 'a t -> 'a t
val unify_with : 'a Apron.Manager.t -> 'a t -> 'a t -> unit
Sourceval filter_lincons : 'a Apron.Manager.t -> 'a t -> Linconsext.t -> 'a t
Sourceval filter_tcons : 'a Apron.Manager.t -> 'a t -> Tconsext.t -> 'a t