Member predicate DataFlow::ContentSet::isProperty
Holds if this content set represents the property p
.
For getAReadContent
, this set represents all properties that may
(reflexively and transitively) override/implement p
(or vice versa).
predicate isProperty(Property p)