Lines Matching refs:ult
216 return Lower.ule(V) && V.ult(Upper);
217 return Lower.ule(V) || V.ult(Upper);
275 if (Lower.ult(CR.Lower)) {
279 if (Upper.ult(CR.Upper))
284 if (Upper.ult(CR.Upper))
287 if (Lower.ult(CR.Upper))
294 if (CR.Lower.ult(Upper)) {
295 if (CR.Upper.ult(Upper))
301 if (getSetSize().ult(CR.getSetSize()))
305 if (CR.Lower.ult(Lower)) {
314 if (CR.Upper.ult(Upper)) {
315 if (CR.Lower.ult(Upper)) {
316 if (getSetSize().ult(CR.getSetSize()))
321 if (CR.Lower.ult(Lower))
327 if (CR.Lower.ult(Lower))
332 if (getSetSize().ult(CR.getSetSize()))
354 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) {
357 if (d1.ult(d2))
363 if (CR.Lower.ult(L))
390 if (d1.ult(d2))
397 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper))
402 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) &&
415 if (CR.Lower.ult(L))
506 if (UpperModulo.ult(LowerDiv))
549 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))
570 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))
