Member predicate AssignOperation :: hasExpandedAssignment

Holds if this assignment operation has an expanded version.

For example, if this assignment operation is x += y then it has the expanded version x = x + y.

If an expanded version exists, then it is used in the control flow graph.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                hasExpandedAssignment
                            
                            
                                (
                                )