Searched refs:oldLowerBound (Results 1 – 2 of 2) sorted by relevance
284 const Real oldLowerBound = sLowerBound; in performCalculations() local299 sLowerBound -= scalingFactor*(oldUpperBound-oldLowerBound); in performCalculations()301 sUpperBound += scalingFactor*(oldUpperBound-oldLowerBound); in performCalculations()313 if (xn[j] >= oldLowerBound && xn[j] <= oldUpperBound) in performCalculations()
1370 Theorem oldLowerBound = termLowerBoundThm[t1]; in addToBuffer() local1371 Expr oldIneq = oldLowerBound.getExpr(); in addToBuffer()