Member predicate DataFlow::AdditionalFlowStep::storeStep
Holds if pred should be stored in the given content of the object succ.
predicate storeStep(Node pred, ContentSet contents, Node succ)Holds if pred should be stored in the given content of the object succ.
predicate storeStep(Node pred, ContentSet contents, Node succ)