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