Module `Apron_transformer.ApronTransformer`Source

Parameters

module ApronManager : Apron_manager.APRONMANAGER

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

Source

val 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

Source

val 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.

Source

val 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

Source

val related_vars : 
  Mopsa.var ->
  (ApronManager.t Apron.Abstract1.t * Binding.t) ->
  Mopsa.var list

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.

Source

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

Get the list of constant variables

Source

val all_related_vars : 
  Mopsa.VarSet.elt ->
  (ApronManager.t Apron.Abstract1.t * Binding.t) ->
  Mopsa.VarSet.elt list

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

Source

val remove_tmp : 
  Apron.Var.t list ->
  ApronManager.t Apron.Abstract1.t ->
  ApronManager.t Apron.Abstract1.t

Source

val 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

Source

val 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

Source

val tcons_array_of_tcons_list : 
  Apron.Environment.t ->
  Apron.Tcons1.t list ->
  Apron.Tcons1.earray

Install

Dune Dependency

Authors

Maintainers

Sources

doc/relational/Relational/Apron_transformer/ApronTransformer/index.html

Module `Apron_transformer.ApronTransformer`Source

Parameters

Signature

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/relational/Relational/Apron_transformer/ApronTransformer/index.html

Module Apron_transformer.ApronTransformerSource

Parameters

Signature

Module `Apron_transformer.ApronTransformer`Source