Searched refs:ClassConstraint (Results 1 – 1 of 1) sorted by relevance
1048 [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) { in areFeasible() argument1049 return ClassConstraint.second.isEmpty(); in areFeasible()2203 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in assignSymExprToConst()2204 EquivalenceClass Class = ClassConstraint.first; in assignSymExprToConst()2270 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in getConstraintMap()2271 EquivalenceClass Class = ClassConstraint.first; in getConstraintMap()2277 Result = F.add(Result, Representative, ClassConstraint.second); in getConstraintMap()2670 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local2672 if (ClassConstraint && !ClassConstraint->contains(SV)) in simplify()2705 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local[all …]