Searched refs:StMgr (Results 1 – 4 of 4) sorted by relevance
15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument16 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
670 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument 671 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()
2260 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager() argument 2262 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
315 CreateRegionStoreManager(ProgramStateManager &StMgr);