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