reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
159 return F.getEmptySet(); 161 PrimRangeSet newRanges = F.getEmptySet(); 165 IntersectInRange(BV, F, Lower, Upper, newRanges, i, e); 170 IntersectInRange(BV, F, BV.getMinValue(Upper), Upper, newRanges, i, e); 171 IntersectInRange(BV, F, Lower, BV.getMaxValue(Lower), newRanges, i, e);