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
                                
                                )