Searched refs:ClassConstraint (Results 1 – 1 of 1) sorted by relevance
651 [](const std::pair<EquivalenceClass, RangeSet> &ClassConstraint) { in areFeasible() argument652 return ClassConstraint.second.isEmpty(); in areFeasible()1575 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in getConstraintMap()1576 EquivalenceClass Class = ClassConstraint.first; in getConstraintMap()1582 Result = F.add(Result, Representative, ClassConstraint.second); in getConstraintMap()