Lines Matching refs:ult
225 return Lower.ule(V) && V.ult(Upper); in contains()
226 return Lower.ule(V) || V.ult(Upper); in contains()
284 if (Lower.ult(CR.Lower)) { in intersectWith()
288 if (Upper.ult(CR.Upper)) in intersectWith()
293 if (Upper.ult(CR.Upper)) in intersectWith()
296 if (Lower.ult(CR.Upper)) in intersectWith()
303 if (CR.Lower.ult(Upper)) { in intersectWith()
304 if (CR.Upper.ult(Upper)) in intersectWith()
310 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
314 if (CR.Lower.ult(Lower)) { in intersectWith()
323 if (CR.Upper.ult(Upper)) { in intersectWith()
324 if (CR.Lower.ult(Upper)) { in intersectWith()
325 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
330 if (CR.Lower.ult(Lower)) in intersectWith()
336 if (CR.Lower.ult(Lower)) in intersectWith()
341 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
363 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) { in unionWith()
366 if (d1.ult(d2)) in unionWith()
372 if (CR.Lower.ult(L)) in unionWith()
399 if (d1.ult(d2)) in unionWith()
406 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper)) in unionWith()
411 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) && in unionWith()
424 if (CR.Lower.ult(L)) in unionWith()
520 if (UpperModulo.ult(LowerDiv)) in truncate()
563 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y)) in add()
584 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y)) in sub()
634 return UR.getSetSize().ult(SR.getSetSize()) ? UR : SR; in multiply()