Member predicate MidPathNode::wraps
Holds if this path node wraps data-flow node n, configuration c and summary s.
predicate wraps(Node n, Configuration c, PathSummary s)Holds if this path node wraps data-flow node n, configuration c and summary s.
predicate wraps(Node n, Configuration c, PathSummary s)