Lines Matching full:ult
217 return Lower.ule(V) && V.ult(Upper);
218 return Lower.ule(V) || V.ult(Upper);
276 if (Lower.ult(CR.Lower)) {
280 if (Upper.ult(CR.Upper))
285 if (Upper.ult(CR.Upper))
288 if (Lower.ult(CR.Upper))
295 if (CR.Lower.ult(Upper)) {
296 if (CR.Upper.ult(Upper))
302 if (getSetSize().ult(CR.getSetSize()))
306 if (CR.Lower.ult(Lower)) {
315 if (CR.Upper.ult(Upper)) {
316 if (CR.Lower.ult(Upper)) {
317 if (getSetSize().ult(CR.getSetSize()))
322 if (CR.Lower.ult(Lower))
328 if (CR.Lower.ult(Lower))
333 if (getSetSize().ult(CR.getSetSize()))
355 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) {
358 if (d1.ult(d2))
364 if (CR.Lower.ult(L))
391 if (d1.ult(d2))
398 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper))
403 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) &&
416 if (CR.Lower.ult(L))
507 if (UpperModulo.ult(LowerDiv))
550 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))
571 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))
