Lines Matching refs:ult
214 return Lower.ule(V) && V.ult(Upper);
215 return Lower.ule(V) || V.ult(Upper);
273 if (Lower.ult(CR.Lower)) {
277 if (Upper.ult(CR.Upper))
282 if (Upper.ult(CR.Upper))
285 if (Lower.ult(CR.Upper))
292 if (CR.Lower.ult(Upper)) {
293 if (CR.Upper.ult(Upper))
299 if (getSetSize().ult(CR.getSetSize()))
303 if (CR.Lower.ult(Lower)) {
312 if (CR.Upper.ult(Upper)) {
313 if (CR.Lower.ult(Upper)) {
314 if (getSetSize().ult(CR.getSetSize()))
319 if (CR.Lower.ult(Lower))
325 if (CR.Lower.ult(Lower))
330 if (getSetSize().ult(CR.getSetSize()))
352 if (CR.Upper.ult(Lower) || Upper.ult(CR.Lower)) {
355 if (d1.ult(d2))
361 if (CR.Lower.ult(L))
388 if (d1.ult(d2))
395 if (Upper.ult(CR.Lower) && Lower.ult(CR.Upper))
400 assert(CR.Lower.ult(Upper) && CR.Upper.ult(Lower) &&
413 if (CR.Lower.ult(L))
509 if (UpperModulo.ult(LowerDiv))
552 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))
573 if (X.getSetSize().ult(Spread_X) || X.getSetSize().ult(Spread_Y))