1241         RangeFactory,  in VisitSymSymExpr()
1262       : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {}  in SymbolicRangeInferrer()
1269     return {RangeFactory, Val};  in inferAs()
1286     return intersect(RangeFactory,  in infer()
1306     RangeSet Result(RangeFactory, ValueFactory.getMinValue(T),  in infer()
1380       return RangeFactory.getEmptySet();  in VisitBinaryOperator()
1450     return RangeFactory.deletePoint(Domain, IntType.getZeroValue());  in assumeNonZero()
1463         return RangeFactory.negate(*NegatedRange);  in getRangeForNegatedExpr()
1616     return RangeSet(RangeFactory, Zero);  in getFalseRange()
1620   RangeSet::Factory &RangeFactory;  member in __anon77be4a4c0511::SymbolicRangeInferrer
1661     return {RangeFactory, ValueFactory.getValue(Min), Max};  in VisitBinaryOperator()
1667     return {RangeFactory, ValueFactory.getMinValue(ResultType),  in VisitBinaryOperator()
1710     return {RangeFactory, Min, Max};  in VisitBinaryOperator()
1723     return {RangeFactory, ValueFactory.getValue(Zero),  in VisitBinaryOperator()
1746     return RangeFactory.getEmptySet();  in VisitBinaryOperator()
1785   return {RangeFactory, ValueFactory.getValue(Min), ValueFactory.getValue(Max)};  in VisitBinaryOperator()
2036       : State(State), Builder(Builder), RangeFactory(F) {}  in ConstraintAssignor()
2071             RangeFactory, State, DisequalClass);  in assign()
2073         UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point);  in assign()
2093     return EquivalenceClass::markDisequal(RangeFactory, State, LHS, RHS);  in trackDisequality()
2098     return EquivalenceClass::merge(RangeFactory, State, LHS, RHS);  in trackEquality()
2115   RangeSet::Factory &RangeFactory;  member in __anon77be4a4c0511::ConstraintAssignor
2126     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);  in assignSymExprToConst()
2140     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);  in assignSymExprToConst()
2152     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);  in assignSymExprToConst()
2286 EquivalenceClass::mergeImpl(RangeSet::Factory &RangeFactory,  in mergeImpl()  argument
2309           intersect(RangeFactory, getConstraint(State, *this),  in mergeImpl()