Searched refs:FirstConstraint (Results 1 – 1 of 1) sorted by relevance
2573 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo() local2576 FirstConstraint = RF.deletePoint(FirstConstraint, *Point); in addToDisequalityInfo()2580 if (FirstConstraint.isEmpty()) in addToDisequalityInfo()2583 Constraints = CRF.add(Constraints, First, FirstConstraint); in addToDisequalityInfo()