1048       [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) {  in areFeasible()  argument
1049         return ClassConstraint.second.isEmpty();  in areFeasible()
2136   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {  in assignSymExprToConst()
2137     EquivalenceClass Class = ClassConstraint.first;  in assignSymExprToConst()
2203   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {  in getConstraintMap()
2204     EquivalenceClass Class = ClassConstraint.first;  in getConstraintMap()
2210     Result = F.add(Result, Representative, ClassConstraint.second);  in getConstraintMap()
2603       const RangeSet *ClassConstraint = getConstraint(State, Class);  in simplify()  local
2605       if (ClassConstraint && !ClassConstraint->contains(SV))  in simplify()
2627       const RangeSet *ClassConstraint = getConstraint(State, Class);  in simplify()  local
2648       State = reAssume(State, ClassConstraint, SimplifiedMemberVal);  in simplify()