intervals
Float.SimplifiedValue
Types
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
core
cpython
domain
engines
framework
heap
hooks
interactive
itvUtils
lang
lattices
mopsa
mopsa.c_stubs_parser
mopsa.mopsa_analyzer
mopsa.mopsa_analzyer
mopsa.mopsa_build_db
mopsa.mopsa_c_parser
mopsa.mopsa_c_stubs_parser
mopsa.mopsa_py_parser
mopsa.mopsa_universal_parser
mopsa.mopsa_utils
numeric_common
numeric_reductions
numeric_values
output
params
parsing
passes
powersets
python
python_lang
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
type t = I.t
include sig ... end
val id : t Core__Id.id
val name : string
val display : string
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
val accept_type : Mopsa.typ -> bool
Lattice operations
val bottom : I.t
val top_of_prec : Lang.Ast.float_prec -> I.t
val prec_level : Lang.Ast.float_prec -> int
val top : I.t
val is_bottom : I.t -> bool
val subset : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : 'a -> t -> t -> t
val print : Mopsa.printer -> t -> unit
val filter_class : I.t -> Lang.Ast.float_class -> I.t
Arithmetic operators
val constant : Mopsa.constant -> Mopsa.typ -> I.t
val unop : Mopsa.operator -> Mopsa.typ -> I.t -> Mopsa.typ -> I.t
val binop : Mopsa.operator -> 'a -> I.t -> 'b -> I.t -> Mopsa.typ -> I.t
val filter : bool -> Mopsa.typ -> I.t -> I.t
val backward_unop : Mopsa.operator -> Mopsa.typ -> I.t -> Mopsa.typ -> I.t -> I.t
val backward_binop : Mopsa.operator -> Core.All.typ -> I.t -> Core.All.typ -> I.t -> Mopsa.typ -> I.t -> I.t * I.t
val compare : Mopsa.operator -> bool -> Mopsa.typ -> I.t -> 'a -> I.t -> I.t * I.t
val avalue : 'r. 'r Mopsa.avalue_kind -> t -> 'r option