Lines Matching defs:RangeFactory

1244         RangeFactory,
1267       : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {}
1274     return {RangeFactory, Val};
1291     return intersect(RangeFactory,
1311     RangeSet Result(RangeFactory, ValueFactory.getMinValue(T),
1440     return RangeFactory.deletePoint(Domain, IntType.getZeroValue());
1453         return RangeFactory.negate(*NegatedRange);
1622     return RangeSet(RangeFactory, Zero);
1626   RangeSet::Factory &RangeFactory;
1641     if (intersect(RangeFactory, LHS, RHS).isEmpty())
1674     RangeSet CastedLHS = RangeFactory.castTo(LHS, CastingType);
1675     RangeSet CastedRHS = RangeFactory.castTo(RHS, CastingType);
1677     if (intersect(RangeFactory, CastedLHS, CastedRHS).isEmpty())
1718     return {RangeFactory, ValueFactory.getValue(Min), Max};
1724     return {RangeFactory, ValueFactory.getMinValue(ResultType),
1767     return {RangeFactory, Min, Max};
1780     return {RangeFactory, ValueFactory.getValue(Zero),
1803     return RangeFactory.getEmptySet();
1842   return {RangeFactory, ValueFactory.getValue(Min), ValueFactory.getValue(Max)};
1851     return RangeFactory.getEmptySet();
2119       : State(State), Builder(Builder), RangeFactory(F) {}
2154             RangeFactory, State, DisequalClass);
2156         UpdatedConstraint = RangeFactory.deletePoint(UpdatedConstraint, *Point);
2176     return EquivalenceClass::markDisequal(RangeFactory, State, LHS, RHS);
2181     return EquivalenceClass::merge(RangeFactory, State, LHS, RHS);
2198   RangeSet::Factory &RangeFactory;
2208     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2222     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2234     State = EquivalenceClass::simplify(Builder, RangeFactory, State, Class);
2369 EquivalenceClass::mergeImpl(RangeSet::Factory &RangeFactory,
2392           intersect(RangeFactory, getConstraint(State, *this),