Lines Matching defs:upper
106 debug->log(" is not good enough to be an upper bound\n");
111 debug->log("Oi! I'm hallucinating. Will use the first upper bound");
216 logger->log("Test for upper first failed. Bailing out!\n");
219 logger->log("upper first value is %i\n", upperFirst, upperFirst);
490 Line lower, upper, trial, toAdd, helper;
528 upper.setToConcat(firstRep[i], UB[UCOL_PRIMARY]);
529 //upper.setToConcat(firstRep[i], UB[secondRep[j]->strengthFromEmpty]);
539 // for upper bound, we do the similar, so we have
540 // upper = Thai + UB + UB, trial = Thai + UB + x,
549 upper = *firstRep[i];
550 upper.append(*UB[UCOL_PRIMARY]);
551 //upper.append(*UB[secondRep[j]->strengthFromEmpty]);
552 upper.append(*UB[UCOL_PRIMARY]);
600 else if (probe.compare(trial, upper) > 0) { // trial is bigger than upper??
618 // I have added an additional check. The checks versus upper and lower bound should be sufficient
1620 result.append("[casefirst upper]<br>\n");
1681 result.append("[casefirst upper]<br>\n");
1744 result.append("[casefirst upper]\n");