Searched refs:ClassConstraint (Results 1 – 1 of 1) sorted by relevance
675 [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) { in areFeasible() argument676 return ClassConstraint.second.isEmpty(); in areFeasible()1710 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in assignSymExprToConst()1711 EquivalenceClass Class = ClassConstraint.first; in assignSymExprToConst()1762 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in getConstraintMap()1763 EquivalenceClass Class = ClassConstraint.first; in getConstraintMap()1769 Result = F.add(Result, Representative, ClassConstraint.second); in getConstraintMap()