Searched refs:UpdatedConstraint (Results 1 – 1 of 1) sorted by relevance
1539 RangeSet UpdatedConstraint = getRange(State, DisequalClass); in setConstraint() local1540 UpdatedConstraint = F.deletePoint(UpdatedConstraint, *Point); in setConstraint()1544 if (UpdatedConstraint.isEmpty()) in setConstraint()1547 Constraints = CF.add(Constraints, DisequalClass, UpdatedConstraint); in setConstraint()