package mopsa

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

Module Instances.PolyhedraSource

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 : (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> ((Apron.Coeff.t * Mopsa.var) list * Apron.Coeff.t * Apron.Lincons1.typ) list
Sourceval constraints_of_var : Mopsa.var -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list -> ((Apron.Coeff.t * Mopsa.var) list * 'a * 'b) list
Sourceval constant_vars : (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Mopsa.var list
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 -> Polka.loose Polka.t Apron.Abstract1.t -> Polka.loose Polka.t Apron.Abstract1.t
Sourceval exp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Apron.Var.t list -> Apron.Texpr1.expr * Polka.loose Polka.t Apron.Abstract1.t * Binding.t * Apron.Var.t list
Sourceval bexp_to_apron : (Mopsa.expr -> bool) -> Mopsa.expr -> (Polka.loose Polka.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 * Polka.loose Polka.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
Sourcetype t = Polka.loose Polka.t Apron.Abstract1.t * Binding.t
val id : t Core__Id.id
val name : string
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval numeric_name : string
Sourceval unify : Polka.loose Polka.t Apron.Abstract1.t -> Polka.loose Polka.t Apron.Abstract1.t -> Polka.loose Polka.t Apron.Abstract1.t * Polka.loose Polka.t Apron.Abstract1.t * bool
Sourceval add_missing_vars : (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Mopsa.var list -> Polka.loose Polka.t Apron.Abstract1.t * Binding.t
Sourceval print_state : Mopsa.printer -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> unit
Sourceval top : Polka.loose Polka.t Apron.Abstract1.t * Binding.t
Sourceval bottom : Polka.loose Polka.t Apron.Abstract1.t * Binding.t
Sourceval is_bottom : (Polka.loose Polka.t Apron.Abstract1.t * 'a) -> bool
Sourceval subset : (Polka.loose Polka.t Apron.Abstract1.t * 'a) -> (Polka.loose Polka.t Apron.Abstract1.t * 'b) -> bool
Sourceval join : (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval meet : (Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval widen : 'a -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval init : 'a -> Polka.loose Polka.t Apron.Abstract1.t * Binding.t
Sourceval remove_var : Mopsa.var -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval forget_var : Mopsa.var -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.t
Sourceval bound_var : Mopsa.var -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Numeric_values.Values.Intervals.Integer.Value.t
Sourceval is_var_numeric_type : Mopsa.var -> bool
Sourceval assume : Mopsa.stmt -> (('a, bool) Core.Query.query -> bool) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) option
Sourceval merge : ('a * 'b) -> ((Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) * Mopsa.change) -> ((Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t) * Mopsa.change) -> Polka.loose Polka.t Apron.Abstract1.t * Binding.Equiv.t
Sourceval enforce_sign_constraint : Core.All.var -> (('a, bool) Core.Query.query -> bool) -> 'b Core.All.ctx -> Mopsa.range -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) option -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) option
Sourceval exec : Mopsa.stmt -> ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'c Core.All.ctx -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) option
Sourceval vars : ('a Apron.Abstract1.t * Binding.t) -> Mopsa.var list
Sourceval eval_interval : ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> Mopsa.expr -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Mopsa.ItvUtils.IntItv.t_with_bot option
Sourceval ask : ('a, 'r) Mopsa.query -> ('a, t) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'a Mopsa.ctx -> t -> 'r option
Sourceval print_expr : ('a, 'b) Mopsa.Sig.Abstraction.Simplified.simplified_man -> 'c Core.All.ctx -> (Polka.loose Polka.t Apron.Abstract1.t * Binding.t) -> Mopsa.printer -> Ast.Expr.expr -> unit
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