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