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/Core/Dnf/index.html
Module Core.Dnf
Disjunctive normal form.
val singleton : 'a -> 'a t
val mk_true : 'a t
val mk_false : 'a t
val is_true : 'a t -> bool
val is_false : 'a t -> bool
val is_empty : 'a t -> bool
val iter : ('a -> unit) -> 'a t -> unit
val reduce :
('a -> 'b) ->
join:('b -> 'b -> 'b) ->
meet:('b -> 'b -> 'b) ->
'a t ->
'b
val fold_reduce :
('a -> 'b -> 'a * 'c) ->
join:('c -> 'c -> 'c) ->
meet:('c -> 'c -> 'c) ->
'a ->
'b t ->
'a * 'c
val reduce_conjunction : ('a list -> 'b) -> join:('b -> 'b -> 'b) -> 'a t -> 'b
val fold_reduce_conjunction :
('a -> 'b list -> 'a * 'c) ->
join:('c -> 'c -> 'c) ->
'a ->
'b t ->
'a * 'c
val reduce_disjunction : ('a list -> 'b) -> meet:('b -> 'b -> 'b) -> 'a t -> 'b
val fold_reduce_disjunction :
('a -> 'b list -> 'a * 'c) ->
meet:('c -> 'c -> 'c) ->
'a ->
'b t ->
'a * 'c
val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
val choose : 'a t -> 'a option
val to_list : 'a t -> 'a list list
val from_list : 'a list list -> 'a t
val print :
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a t ->
unit
val cardinal : 'a t -> int
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>