package apronext

You can search for identifiers within the package.

in-package search v0.2.0

package apronext

apronext
- Apronext
  - Abox
  - Abstractext
  - Aoct
  - Apol
  - Coeffext
  - Environmentext
  - Generatorext
  - Intervalext
  - Linconsext
  - Scalarext
  - Tconsext
  - Texprext

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Apron.Abstract1 end

type !'a t = 'a Apron.Abstract1.t = {

mutable abstract0 : 'a Apron.Abstract0.t;
mutable env : Apron.Environment.t;

}

type box1 = Apron.Abstract1.box1 = {

mutable interval_array : Apron.Interval.t array;
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

val filter_lincons : 'a Apron.Manager.t -> 'b t -> Linconsext.t -> 'a t

val filter_tcons : 'a Apron.Manager.t -> 'b t -> Tconsext.t -> 'a t