package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Apron_transformer.ApronTransformerSource

Parameters

Signature

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval with_context : 'a -> 'b -> 'b * 'a
Sourceval is_numerical_var : Mopsa.var -> bool
Sourceval empty_env : Apron.Environment.t
Sourceval print_env : Stdlib.Format.formatter -> Apron.Environment.t -> unit
Sourceval filter_env : (Apron.Var.t -> bool) -> (Apron.Var.t -> bool) -> Apron.Environment.t -> Apron.Environment.t
Sourceval fold_env : (Apron.Var.t -> 'a -> 'a) -> Apron.Environment.t -> 'a -> 'a
Sourceval exists_env : (Apron.Var.t -> bool) -> Apron.Environment.t -> bool
Sourceval gce : Apron.Environment.t -> Apron.Environment.t -> Apron.Environment.t
Sourceval diff : Apron.Environment.t -> Apron.Environment.t -> Apron.Environment.t
Sourceval to_constraints : (ApronManager.t Apron.Abstract1.t * Binding.t) -> ((Apron.Coeff.t * Mopsa.var) list * Apron.Coeff.t * Apron.Lincons1.typ) list

Construct a list of linear constraints from an abstract value.

Sourceval constraints_of_var : Mopsa.var -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list

Restrict linear constraints involving variable v

Get the list of variables with which v has numeric relations. Note that this function performs only one search iteration and doesn't return all related variables.

Sourceval constant_vars : (ApronManager.t Apron.Abstract1.t * Binding.t) -> Mopsa.var list

Get the list of constant variables

Similar to get_related_vars, but ensures that all related variables are returned.

Sourceexception UnsupportedExpression
Sourceexception ImpreciseExpression
Sourceval binop_to_apron : Mopsa.operator -> Apron.Texpr1.binop
Sourceval typ_to_apron : Mopsa.typ -> Apron.Texpr1.typ
Sourceval is_env_var : Mopsa.var -> ('a Apron.Abstract1.t * Binding.t) -> bool
Sourceval is_env_var_apron : Apron.Var.t -> 'a Apron.Abstract1.t -> bool
Sourceval remove_tmp : Apron.Var.t list -> ApronManager.t Apron.Abstract1.t -> ApronManager.t Apron.Abstract1.t
Sourceval exp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (ApronManager.t Apron.Abstract1.t * Binding.t) -> Apron.Var.t list -> Apron.Texpr1.expr * ApronManager.t Apron.Abstract1.t * Binding.t * Apron.Var.t list
Sourceval bexp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (ApronManager.t Apron.Abstract1.t * Binding.t) -> Apron.Var.t list -> (Apron.Tcons1.typ * Apron.Texpr1.expr * Ast.Typ.typ * Apron.Texpr1.expr * Ast.Typ.typ) Mopsa.Dnf.t * ApronManager.t Apron.Abstract1.t * Binding.t * Apron.Var.t list
Sourceval tcons_array_of_tcons_list : Apron.Environment.t -> Apron.Tcons1.t list -> Apron.Tcons1.earray
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