Searched defs:StMgr (Results 1 – 3 of 3) sorted by relevance
16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
667 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()673 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()
1565 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager()