cpg
Toggle table of contents
main
jvm
Platform filter
jvm
Switch theme
Search in API
cpg
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
.