Home
last modified time | relevance | path

Searched defs:maxFind (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Darith_static_learner.cpp220 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n); in iteConstant() local
249 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n[0]); in addBound() local
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1092 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local
1100 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local
H A Dtheory_arith_old.cpp1154 ExprMap<Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local
1166 ExprMap<Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local