Searched refs:SimpleConstraintManager (Results 1 – 5 of 5) sorted by relevance
24 SimpleConstraintManager::~SimpleConstraintManager() {} in ~SimpleConstraintManager()26 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()53 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, in assumeAux()95 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( in assumeInclusiveRange()
24 class SimpleConstraintManager : public ConstraintManager {29 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager() function32 ~SimpleConstraintManager() override;
138 class RangedConstraintManager : public SimpleConstraintManager {141 : SimpleConstraintManager(SE, SB) {}
25 class SMTConstraintManager : public clang::ento::SimpleConstraintManager {31 : SimpleConstraintManager(SE, SB), Solver(S) {} in SMTConstraintManager()
611 SRCS_FUL+= StaticAnalyzer/Core/SimpleConstraintManager.cpp