Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp5160 EdgeInfo x_le_c = x_le_c_ref; in getValuation() local
5170 …Rational epsAdjustment = (biggestEpsilon > 0 ? (x_le_c.length.getEpsilon() - zero_le_c.length.getE… in getValuation()
5171 Rational value = x_le_c.length.getRational() + epsAdjustment; in getValuation()
5175 TRACE("diff model" , "x_le_c.getEpsilon: ", x_le_c.length.getEpsilon(), ""); in getValuation()
5176 TRACE("diff model" , "x_le_c.length: ", x_le_c.length.getRational(), ""); in getValuation()