core
Token.TokenMap
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
cpython
domain
engines
framework
heap
hooks
interactive
intervals
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 +'a t
val bottom : 'a t
val top : 'a t
val singleton : token -> 'a -> 'a t
val is_bottom : 'a Lattice.lattice -> 'a t -> bool
val is_empty : 'a t -> bool
val is_singleton : 'a t -> bool
val is_top : 'a Lattice.lattice -> 'a t -> bool
val subset : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> bool
val join : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t
val join_list : 'a Lattice.lattice -> 'a Context.ctx -> 'a t list -> 'a t
val meet : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t
val meet_list : 'a Lattice.lattice -> 'a Context.ctx -> 'a t list -> 'a t
val widen : 'a Lattice.lattice -> 'a Context.ctx -> 'a t -> 'a t -> 'a t
val print : (Print.printer -> 'a -> unit) -> Print.printer -> 'a t -> unit
val mem : token -> 'a t -> bool
val find : token -> 'a t -> 'a
val find_opt : token -> 'a t -> 'a option
val get : token -> 'a Lattice.lattice -> 'a t -> 'a
val set : token -> 'a -> 'a Lattice.lattice -> 'a t -> 'a t
val copy : token -> token -> 'a Lattice.lattice -> 'a t -> 'a t -> 'a t
val remove : token -> 'a t -> 'a t
val filter : (token -> 'a -> bool) -> 'a t -> 'a t
val partition : (token -> 'a -> bool) -> 'a t -> 'a t * 'a t
val map : (token -> 'a -> 'b) -> 'a t -> 'b t
val fold : ('b -> token -> 'a -> 'b) -> 'b -> 'a t -> 'b
val iter : (token -> 'a -> unit) -> 'a t -> unit
val merge : (token -> 'a option -> 'a option -> 'a option) -> 'a Lattice.lattice -> 'a t -> 'a t -> 'a t
val map2zo : (token -> 'a -> 'a) -> (token -> 'a -> 'a) -> (token -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
val neutral2 : (token -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
val absorb2 : (token -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t