Lines Matching refs:ult
324 return Lower.ule(V) && V.ult(Upper); in contains()
325 return Lower.ule(V) || V.ult(Upper); in contains()
383 if (Lower.ult(CR.Lower)) { in intersectWith()
387 if (Upper.ult(CR.Upper)) in intersectWith()
392 if (Upper.ult(CR.Upper)) in intersectWith()
395 if (Lower.ult(CR.Upper)) in intersectWith()
402 if (CR.Lower.ult(Upper)) { in intersectWith()
403 if (CR.Upper.ult(Upper)) in intersectWith()
409 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
413 if (CR.Lower.ult(Lower)) { in intersectWith()
422 if (CR.Upper.ult(Upper)) { in intersectWith()
423 if (CR.Lower.ult(Upper)) { in intersectWith()
424 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
429 if (CR.Lower.ult(Lower)) in intersectWith()
435 if (CR.Lower.ult(Lower)) in intersectWith()
440 if (getSetSize().ult(CR.getSetSize())) in intersectWith()
462 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) { in unionWith()
465 if (d1.ult(d2)) in unionWith()
471 if (CR.Lower.ult(L)) in unionWith()
498 if (d1.ult(d2)) in unionWith()
505 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper)) in unionWith()
510 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) && in unionWith()
523 if (CR.Lower.ult(L)) in unionWith()
619 if (UpperModulo.ult(LowerDiv)) in truncate()
662 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y)) in add()
683 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y)) in sub()
740 return UR.getSetSize().ult(SR.getSetSize()) ? UR : SR; in multiply()