toggle menu
cpg
main
jvm
switch theme
search in API
cpg-core
/
de.fraunhofer.aisec.cpg.helpers
/
Worklist
/
mop
mop
fun
mop
(
)
:
State
<
N
,
V
>
?
Computes the meet over paths for all the states in
globalState
.