package apronext

You can search for identifiers within the package.

in-package search v0.2.0

package apronext

apronext
- README
- Library apronext
  - Apronext
    
    Generatorext
    
    Tconsext
    
    Texprext
    
    Linconsext
    
    Abstractext
    
    Intervalext
    
    Scalarext
    
    Coeffext
    
    Environmentext
    
    Apol
    
    A
    
    G
    
    T
    
    L
    
    E
    
    Abox
    
    A
    
    G
    
    T
    
    L
    
    E
    
    Aoct
    
    A
    
    G
    
    T
    
    L
    
    E
- Sources
  - apronext
    
    abox.ml
    
    abstractext.ml
    
    aoct.ml
    
    apol.ml
    
    apronext.ml
    
    apronext__.ml
    
    array_maker.ml
    
    coeffext.ml
    
    domain.ml
    
    environmentext.ml
    
    generatorext.ml
    
    intervalext.ml
    
    linconsext.ml
    
    scalarext.ml
    
    tconsext.ml
    
    texprext.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Apronext.Apol`Source

include sig ... end

module A = Apron.Abstract1

Sourcemodule G = Generatorext

Sourcemodule T = Tconsext

Sourcemodule L = Linconsext

Sourcemodule E = Environmentext

Sourcetype t = Polka.strict Polka.t A.t

Sourceval man : Polka.strict Polka.t Apron.Manager.t

Sourceval bottom : Apron.Environment.t -> Polka.strict Polka.t A.t

Sourceval top : Apron.Environment.t -> Polka.strict Polka.t A.t

Source

val join : 
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t

Source

val meet : 
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t

Source

val widening : 
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t A.t

Sourceval is_bottom : Polka.strict Polka.t A.t -> bool

Sourceval is_top : Polka.strict Polka.t A.t -> bool

Sourceval is_leq : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> bool

Sourceval is_eq : Polka.strict Polka.t A.t -> Polka.strict Polka.t A.t -> bool

Sourceval sat_lincons : Polka.strict Polka.t A.t -> Apron.Lincons1.t -> bool

Sourceval sat_tcons : Polka.strict Polka.t A.t -> Apron.Tcons1.t -> bool

Source

val filter_lincons : 
  Polka.strict Polka.t A.t ->
  L.t ->
  Polka.strict Polka.t A.t

Sourceval filter_tcons : Polka.strict Polka.t A.t -> T.t -> Polka.strict Polka.t A.t

Sourceval to_lincons_array : Polka.strict Polka.t A.t -> Apron.Lincons1.earray

Sourceval to_tcons_array : Polka.strict Polka.t A.t -> Apron.Tcons1.earray

Sourceval to_generator_array : Polka.strict Polka.t A.t -> Apron.Generator1.earray

Sourceval to_lincons_list : Polka.strict Polka.t A.t -> L.t list

Sourceval to_tcons_list : Polka.strict Polka.t A.t -> T.t list

Sourceval to_generator_list : Polka.strict Polka.t A.t -> G.t list

Sourceval of_generator_list : Apron.Generator1.t list -> Polka.strict Polka.t A.t

Sourceval of_generator_array : Apron.Generator1.earray -> Polka.strict Polka.t A.t

Source

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

Source

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

Source

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

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

Source

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

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

Source

val change_environment : 
  Polka.strict Polka.t A.t ->
  Apron.Environment.t ->
  Polka.strict Polka.t A.t

Source

val assign_texpr : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  Apron.Texpr1.t ->
  Polka.strict Polka.t A.t

Source

val assign_linexpr : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  Apron.Linexpr1.t ->
  Polka.strict Polka.t A.t

Source

val assign_f : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  float ->
  Polka.strict Polka.t A.t

Source

val assign_fs : 
  Polka.strict Polka.t A.t ->
  string ->
  float ->
  Polka.strict Polka.t A.t

Source

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

Source

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

Source

val bound_variable : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  Apron.Interval.t

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

Sourceval bound_variable_s : Polka.strict Polka.t A.t -> string -> Apron.Interval.t

Sourceval bound_variable_fs : Polka.strict Polka.t A.t -> string -> float * float

Sourceval is_bounded_variable : Polka.strict Polka.t A.t -> Apron.Var.t -> bool

Sourceval is_bounded_s : Polka.strict Polka.t A.t -> string -> bool

Sourceval is_bounded : Polka.strict Polka.t A.t -> bool

Sourceval to_box : Polka.strict Polka.t A.t -> Box.t A.t

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

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

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

Sourceval pp_print : Format.formatter -> Polka.strict Polka.t A.t -> unit

Source

val proj2D : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  Polka.strict Polka.t A.t

Source

val proj3D : 
  Polka.strict Polka.t A.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  Apron.Var.t ->
  Polka.strict Polka.t A.t

Source

val proj2D_s : 
  Polka.strict Polka.t A.t ->
  string ->
  string ->
  Polka.strict Polka.t A.t

Source

val proj3D_s : 
  Polka.strict Polka.t A.t ->
  string ->
  string ->
  string ->
  Polka.strict Polka.t A.t

Source

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

Source

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

Source

val set_diff : 
  Polka.strict Polka.t Abstractext.t ->
  Polka.strict Polka.t A.t ->
  Polka.strict Polka.t Abstractext.t * Polka.strict Polka.t Abstractext.t list

package apronext

Module Apronext.ApolSource

Module `Apronext.Apol`Source