package mopsa
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
mopsa-analyzer-v1.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa
doc/mopsa.mopsa_utils/Mopsa_utils/Containers/SetExtPoly/index.html
Module Containers.SetExtPoly
Sets with polymorphic values
val height : 'a set -> int
val cons_enum : 'a set -> 'a enumeration -> 'a enumeration
val elements_aux : 'a list -> 'a set -> 'a list
val find_first_aux : 'a -> ('a -> bool) -> 'a set -> 'a
val find_first_opt_aux : 'a -> ('a -> bool) -> 'a set -> 'a option
val find_last_aux : 'a -> ('a -> bool) -> 'a set -> 'a
val find_last_opt_aux : 'a -> ('a -> bool) -> 'a set -> 'a option
val of_sorted_list : 'a list -> 'a set
val iter_slice :
('a -> 'b -> int) ->
('a -> unit) ->
'a set ->
'b ->
'b ->
unit
val fold_slice :
('a -> 'b -> int) ->
('a -> 'c -> 'c) ->
'a set ->
'b ->
'b ->
'c ->
'c
val for_all_slice :
('a -> 'b -> int) ->
('a -> bool) ->
'a set ->
'b ->
'b ->
bool
val exists_slice :
('a -> 'b -> int) ->
('a -> bool) ->
'a set ->
'b ->
'b ->
bool
val print_gen :
('a -> string -> unit) ->
set_printer ->
('a -> 'b -> 'c) ->
'a ->
'b set ->
unit
val print :
set_printer ->
(out_channel -> 'a -> 'b) ->
out_channel ->
'a set ->
unit
val bprint :
set_printer ->
(Buffer.t -> 'a -> 'b) ->
Buffer.t ->
'a set ->
unit
val fprint :
set_printer ->
(Format.formatter -> 'a -> 'b) ->
Format.formatter ->
'a set ->
unit
val to_string : set_printer -> ('a -> string) -> 'a set -> string
val printer_default : set_printer
MOPSA
Print as set: lem1,...,elemn
val is_empty : 'a t -> bool
val mem : 'a -> 'a t -> bool
val iter : ('a -> 'b) -> 'a t -> unit
val fold : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val for_all : ('a -> bool) -> 'a t -> bool
val exists : ('a -> bool) -> 'a t -> bool
val cardinal : 'a t -> int
val elements : 'a t -> 'a list
val min_elt : 'a t -> 'a
val min_elt_opt : 'a t -> 'a option
val max_elt : 'a t -> 'a
val max_elt_opt : 'a t -> 'a option
val choose : 'a t -> 'a
val choose_opt : 'a t -> 'a option
val find : 'a -> 'a t -> 'a
val find_opt : 'a -> 'a t -> 'a option
val find_first : ('a -> bool) -> 'a t -> 'a
val find_first_opt : ('a -> bool) -> 'a t -> 'a option
val find_last : ('a -> bool) -> 'a t -> 'a
val find_last_opt : ('a -> bool) -> 'a t -> 'a option
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>