Searched refs:maxFind (Results 1 – 3 of 3) sorted by relevance
220 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n); in iteConstant() local221 if (maxFind == d_maxMap.end() || (*maxFind).second > max) { in iteConstant()249 CDNodeToMinMaxMap::const_iterator maxFind = d_maxMap.find(n[0]); in addBound() local259 if (maxFind == d_maxMap.end() || (*maxFind).second > bound) { in addBound()
1092 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local1093 if (maxFind == maxCoefficientLeft.end()) in updateStats()1096 if ((*maxFind).second < -c) in updateStats()1097 (*maxFind).second = -c; in updateStats()1100 CDMap<Expr, Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local1101 if (maxFind == maxCoefficientRight.end()) in updateStats()1104 if((*maxFind).second < c) in updateStats()1105 (*maxFind).second = c; in updateStats()
1154 ExprMap<Rational>::iterator maxFind = maxCoefficientLeft.find(v); in updateStats() local1155 if (maxFind == maxCoefficientLeft.end()) { in updateStats()1160 if ((*maxFind).second < -c) { in updateStats()1166 ExprMap<Rational>::iterator maxFind = maxCoefficientRight.find(v); in updateStats() local1167 if (maxFind == maxCoefficientRight.end()) { in updateStats()1172 if((*maxFind).second < c) { in updateStats()