Searched defs:StMgr (Results 1 – 6 of 6) sorted by relevance
16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
668 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()674 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()
1431 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager()
29 StoreManager &StMgr = Eng.getStoreManager(); in performTest() local
363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
609 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()