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