package apronext

You can search for identifiers within the package.

in-package search v0.2.0

Apron extension

Install

Dune Dependency

github.com Readme Edit opam file Versions (5)

Authors

G

Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Maintainers

G

Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Sources

1.0.4.tar.gz

md5=1a61e232befa7e50becb03d116c883e8

sha512=6886bc6f09584b5b9e1e48f0ef2ddafdf0de9c42498d9f8c5293adfbec363706a37e4334a2b0852d1b95cb08f41c511b5a41889b94f178f46b8815f264c740a0

doc/apronext/Apronext/Aoct/index.html

Module `Apronext.Aoct`Source

include sig ... end

module A = Apron.Abstract1

Sourcemodule G = Generatorext

Sourcemodule T = Tconsext

Sourcemodule L = Linconsext

Sourcemodule E = Environmentext

Sourcetype t = Oct.t A.t

Sourceval man : Oct.t Apron.Manager.t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Source

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

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

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

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

Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sourceval print : Format.formatter -> 'a A.t -> unit

Sourceval pp_print : Format.formatter -> Oct.t A.t -> unit

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

Source

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

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

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

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

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

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

Sourceval of_generator_array : Apron.Generator1.earray -> Oct.t A.t

Sourceval of_generator_list : Apron.Generator1.t list -> Oct.t A.t

Source

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

package apronext

Install

Dune Dependency

Authors

Maintainers

Sources

doc/apronext/Apronext/Aoct/index.html

Module Apronext.AoctSource

Module `Apronext.Aoct`Source