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()2218 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in assignSymExprToConst()2219 EquivalenceClass Class = ClassConstraint.first; in assignSymExprToConst()2285 for (std::pair<EquivalenceClass, RangeSet> ClassConstraint : Constraints) { in getConstraintMap()2286 EquivalenceClass Class = ClassConstraint.first; in getConstraintMap()2292 Result = F.add(Result, Representative, ClassConstraint.second); in getConstraintMap()2685 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local2687 if (ClassConstraint && !ClassConstraint->contains(SV)) in simplify()2720 const RangeSet *ClassConstraint = getConstraint(State, Class); in simplify() local[all …]