Searched refs:SimpleConstraintManager (Results 1 – 7 of 7) 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()
43 SimpleConstraintManager.cpp
23 class SimpleConstraintManager : public ConstraintManager {28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager() function31 ~SimpleConstraintManager() override;
313 class RangedConstraintManager : public SimpleConstraintManager {316 : 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()
45 SimpleConstraintManager.cpp \
55 "SimpleConstraintManager.cpp",