Searched refs:StMgr (Results 1 – 3 of 3) sorted by relevance
279 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr);280 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager() argument333 return new RangeConstraintManager(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
612 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) { in CreateRegionStoreManager() argument614 return new RegionStoreManager(StMgr, F); in CreateRegionStoreManager()618 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager() argument621 return new RegionStoreManager(StMgr, F); in CreateFieldsOnlyRegionStoreManager()