1873   RangeSet getRange(ProgramStateRef State, SymbolRef Sym);
1874   RangeSet getRange(ProgramStateRef State, EquivalenceClass Class);
2935 RangeSet RangeConstraintManager::getRange(ProgramStateRef State,  in getRange()  function in RangeConstraintManager
2968   RangeSet New = getRange(St, Sym);  in assumeSymNE()
2985   RangeSet New = getRange(St, Sym);  in assumeSymEQ()
3003     return getRange(St, Sym);  in getSymLTRange()
3016   RangeSet Result = getRange(St, Sym);  in getSymLTRange()
3036     return getRange(St, Sym);  in getSymGTRange()
3053   RangeSet SymRange = getRange(St, Sym);  in getSymGTRange()
3073     return getRange(St, Sym);  in getSymGERange()
3084     return getRange(St, Sym);  in getSymGERange()
3090   RangeSet SymRange = getRange(St, Sym);  in getSymGERange()
3135   return getSymLERange([&] { return getRange(St, Sym); }, Int, Adjustment);  in getSymLERange()
3179   const RangeSet RS = getRange(State, Sym);  in printValue()