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