Searched refs:UpdatedConstraint (Results 1 – 1 of 1) sorted by relevance
2153 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign() local2156 UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point); in assign()2160 if (UpdatedConstraint.isEmpty()) in assign()2163 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in assign()