Lines Matching defs:ClassConstraint

1048       [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) {
1049         return ClassConstraint.second.isEmpty();
2218   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {
2219     EquivalenceClass Class = ClassConstraint.first;
2285   for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) {
2286     EquivalenceClass Class = ClassConstraint.first;
2292     Result = F.add(Result, Representative, ClassConstraint.second);
2685       const RangeSet *ClassConstraint = getConstraint(State, Class);
2687       if (ClassConstraint && !ClassConstraint->contains(SV))
2720       const RangeSet *ClassConstraint = getConstraint(State, Class);
2741       State = reAssume(State, ClassConstraint, SimplifiedMemberVal);