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()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() local2605 if (ClassConstraint && !ClassConstraint->contains(SV)) in simplify()2627 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local[all …]