Searched defs:maxFind (Results 1 – 3 of 3) sorted by relevance
220 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n); in iteConstant() local249 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n[0]); in addBound() local
1092 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local1100 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local
1154 ExprMap<Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local1166 ExprMap<Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local