1792 class RangeConstraintManager : public RangedConstraintManager {  class
1794   RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB)  in RangeConstraintManager()  function in __anon77be4a4c0511::RangeConstraintManager
2195   return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());  in CreateRangeConstraintManager()
2719 bool RangeConstraintManager::canReasonAbout(SVal X) const {  in canReasonAbout()
2765 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,  in checkNull()
2789 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St,  in getSymVal()
2802 RangeConstraintManager::removeDeadBindings(ProgramStateRef State,  in removeDeadBindings()
2935 RangeSet RangeConstraintManager::getRange(ProgramStateRef State,  in getRange()
2940 ProgramStateRef RangeConstraintManager::setRange(ProgramStateRef State,  in setRange()
2959 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,  in assumeSymNE()
2975 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,  in assumeSymEQ()
2991 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St,  in getSymLTRange()
3021 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,  in assumeSymLT()
3028 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St,  in getSymGTRange()
3058 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,  in assumeSymGT()
3065 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St,  in getSymGERange()
3095 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,  in assumeSymGE()
3103 RangeConstraintManager::getSymLERange(llvm::function_ref<RangeSet()> RS,  in getSymLERange()
3131 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St,  in getSymLERange()
3139 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,  in assumeSymLE()
3146 ProgramStateRef RangeConstraintManager::assumeSymWithinInclusiveRange(  in assumeSymWithinInclusiveRange()
3156 ProgramStateRef RangeConstraintManager::assumeSymOutsideInclusiveRange(  in assumeSymOutsideInclusiveRange()
3169 void RangeConstraintManager::printJson(raw_ostream &Out, ProgramStateRef State,  in printJson()
3177 void RangeConstraintManager::printValue(raw_ostream &Out, ProgramStateRef State,  in printValue()
3191 void RangeConstraintManager::printConstraints(raw_ostream &Out,  in printConstraints()
3262 void RangeConstraintManager::printEquivalenceClasses(raw_ostream &Out,  in printEquivalenceClasses()
3298 void RangeConstraintManager::printDisequalities(raw_ostream &Out,  in printDisequalities()