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