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),