Searched defs:StMgr (Results 1 – 2 of 2) sorted by relevance
332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
613 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()619 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()