Searched defs:StMgr (Results 1 – 3 of 3) sorted by relevance
15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
670 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()
2260 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in CreateRangeConstraintManager()