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