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 sig ... end

module A = Apron.Abstract1

module G = Generatorext

module T = Tconsext

module L = Linconsext

module E = Environmentext

type t = Oct.t A.t

val man : Oct.t Apron.Manager.t

val bottom : Apron.Environment.t -> Oct.t A.t

val top : Apron.Environment.t -> Oct.t A.t

val join : Oct.t A.t -> Oct.t A.t -> Oct.t A.t

val meet : Oct.t A.t -> Oct.t A.t -> Oct.t A.t

val widening : Oct.t A.t -> Oct.t A.t -> Oct.t A.t

val is_bottom : Oct.t A.t -> bool

val is_top : Oct.t A.t -> bool

val is_leq : Oct.t A.t -> Oct.t A.t -> bool

val is_eq : Oct.t A.t -> Oct.t A.t -> bool

val sat_lincons : Oct.t A.t -> Apron.Lincons1.t -> bool

val sat_tcons : Oct.t A.t -> Apron.Tcons1.t -> bool

val filter_lincons : Oct.t A.t -> L.t -> Oct.t A.t

val filter_tcons : Oct.t A.t -> T.t -> Oct.t A.t

val to_lincons_array : Oct.t A.t -> Apron.Lincons1.earray

val to_tcons_array : Oct.t A.t -> Apron.Tcons1.earray

val to_lincons_list : Oct.t A.t -> L.t list

val to_tcons_list : Oct.t A.t -> T.t list

val of_lincons_array : 
  Apron.Environment.t ->
  Apron.Lincons1.earray ->
  Oct.t A.t

val of_tcons_array : Apron.Environment.t -> Apron.Tcons1.earray -> Oct.t A.t

val of_lincons_list : Apron.Environment.t -> L.t list -> Oct.t A.t

val of_tcons_list : Apron.Environment.t -> T.t list -> Oct.t A.t

val of_box : 
  Apron.Environment.t ->
  Apron.Var.t array ->
  Apron.Interval.t array ->
  Oct.t A.t

val get_environment : 'a A.t -> Apron.Environment.t

val change_environment : Oct.t A.t -> Apron.Environment.t -> Oct.t A.t

val assign_texpr : Oct.t A.t -> Apron.Var.t -> Apron.Texpr1.t -> Oct.t A.t

val assign_linexpr : Oct.t A.t -> Apron.Var.t -> Apron.Linexpr1.t -> Oct.t A.t

val assign_f : Oct.t A.t -> Apron.Var.t -> float -> Oct.t A.t

val assign_fs : Oct.t A.t -> string -> float -> Oct.t A.t

val add_var : Oct.t A.t -> Apron.Environment.typvar -> Apron.Var.t -> Oct.t A.t

val add_var_s : Oct.t A.t -> Apron.Environment.typvar -> string -> Oct.t A.t

val bound_variable : Oct.t A.t -> Apron.Var.t -> Apron.Interval.t

val bound_variable_f : Oct.t A.t -> Apron.Var.t -> float * float

val bound_variable_s : Oct.t A.t -> string -> Apron.Interval.t

val bound_variable_fs : Oct.t A.t -> string -> float * float

val is_bounded_variable : Oct.t A.t -> Apron.Var.t -> bool

val is_bounded_s : Oct.t A.t -> string -> bool

val is_bounded : Oct.t A.t -> bool

val to_box : Oct.t A.t -> Box.t A.t

val to_oct : Oct.t A.t -> Oct.t A.t

val to_poly : Oct.t A.t -> Polka.strict Polka.t A.t

val print : Format.formatter -> Oct.t A.t -> unit

val proj2D : Oct.t A.t -> Apron.Var.t -> Apron.Var.t -> Oct.t A.t

val proj3D : 
  Oct.t A.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  Oct.t A.t

val proj2D_s : Oct.t A.t -> string -> string -> Oct.t A.t

val proj3D_s : Oct.t A.t -> string -> string -> string -> Oct.t A.t

val to_vertices2D_s : Oct.t A.t -> string -> string -> (float * float) list

val to_generator_array : Oct.t A.t -> Apron.Generator1.earray

val to_generator_list : Oct.t A.t -> G.t list

val of_generator_array : 
  Apron.Environment.t ->
  Apron.Generator1.earray ->
  Oct.t A.t

val of_generator_list : 
  Apron.Environment.t ->
  Apron.Generator1.t list ->
  Oct.t A.t

val to_vertices2D : 
  Oct.t A.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  (float * float) list