Searched refs:SimpleConstraintManager (Results 1 – 5 of 5) sorted by relevance
23 SimpleConstraintManager::~SimpleConstraintManager() {} in ~SimpleConstraintManager()25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, in assumeAux()94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( in assumeInclusiveRange()
23 class SimpleConstraintManager : public ConstraintManager {28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager() function31 ~SimpleConstraintManager() override;
316 class RangedConstraintManager : public SimpleConstraintManager {319 : SimpleConstraintManager(EE, SB) {} in RangedConstraintManager()
30 class SMTConstraintManager : public clang::ento::SimpleConstraintManager { in REGISTER_TRAIT_WITH_PROGRAMSTATE()36 : SimpleConstraintManager(EE, SB) {} in REGISTER_TRAIT_WITH_PROGRAMSTATE()
696 SRCS_FUL+= StaticAnalyzer/Core/SimpleConstraintManager.cpp