Member predicate DataFlow :: Configuration :: isAdditionalLoadStoreStep
EXPERIMENTAL. This API may change in the future.
Holds if the property loadProp
should be copied from the object pred
to the property storeProp
of object succ
.
predicate
isAdditionalLoadStoreStep
(
Node
pred
,
Node
succ
,
string
loadProp
,
string
storeProp
)