package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

exception Already_Paired

module LR : sig ... end

module RL : sig ... end

type t = {

}

val compare : t -> t -> int

val empty : t

val fold : ((Mopsa.var * Apron.Var.t) -> 'a -> 'a) -> t -> 'a -> 'a

val iter : ((Mopsa.var * Apron.Var.t) -> unit) -> t -> unit

val remove_l : Mopsa.var -> t -> t

val remove_r : Apron.Var.t -> t -> t

val add : (Mopsa.var * Apron.Var.t) -> t -> t

val mem : (Mopsa.var * Apron.Var.t) -> t -> bool

val concat : t -> t -> t

val mem_l : Mopsa.var -> t -> bool

val mem_r : Apron.Var.t -> t -> bool

val find_l : LR.key -> t -> Apron.Var.t

val find_r : RL.key -> t -> Mopsa.var

val find_l_opt : Mopsa.var -> t -> Apron.Var.t option

val find_r_opt : Apron.Var.t -> t -> Mopsa.var option

val map : ((Mopsa.var * Apron.Var.t) -> Mopsa.var * Apron.Var.t) -> t -> t

val filter : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> t

val exists : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool

val forall : ((Mopsa.var * Apron.Var.t) -> bool) -> t -> bool