Lines Matching defs:RF

2505 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF,
2509   return markDisequal(RF, State, find(State, First), find(State, Second));
2512 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF,
2516   return First.markDisequal(RF, State, Second);
2520 EquivalenceClass::markDisequal(RangeSet::Factory &RF, ProgramStateRef State,
2533   if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this,
2535       !addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, Other,
2550     RangeSet::Factory &RF, ProgramStateRef State, EquivalenceClass First,
2574           RF, State, First.getRepresentativeSymbol());
2576       FirstConstraint = RF.deletePoint(FirstConstraint, *Point);