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