Home
last modified time | relevance | path

Searched refs:oldLowerBound (Results 1 – 2 of 2) sorted by relevance

/dports/finance/quantlib/QuantLib-1.20/ql/methods/finitedifferences/utilities/
H A Dlocalvolrndcalculator.cpp284 const Real oldLowerBound = sLowerBound; in performCalculations() local
299 sLowerBound -= scalingFactor*(oldUpperBound-oldLowerBound); in performCalculations()
301 sUpperBound += scalingFactor*(oldUpperBound-oldLowerBound); in performCalculations()
313 if (xn[j] >= oldLowerBound && xn[j] <= oldUpperBound) in performCalculations()
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp1370 Theorem oldLowerBound = termLowerBoundThm[t1]; in addToBuffer() local
1371 Expr oldIneq = oldLowerBound.getExpr(); in addToBuffer()