Searched refs:StMgr (Results 1 – 4 of 4) sorted by relevance
16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager() argument17 return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateZ3ConstraintManager()
667 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager() argument669 return std::make_unique<RegionStoreManager>(StMgr, F); in CreateRegionStoreManager()673 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument676 return std::make_unique<RegionStoreManager>(StMgr, F); in CreateFieldsOnlyRegionStoreManager()
1565 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager() argument1567 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
317 CreateRegionStoreManager(ProgramStateManager &StMgr);319 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);