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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct