Member predicate DataFlow::ContentSet::isElementLowerBoundOrUnknown
Holds if this content set represents UnknownElementContent
unioned with
all KnownElementContent
s where the index is an integer greater than or
equal to lower
.
predicate isElementLowerBoundOrUnknown(int lower)