Searched refs:decrementReferenceCount (Results 1 – 3 of 3) sorted by relevance
157 virtual void decrementReferenceCount(Store store) {} in decrementReferenceCount() function265 mgr.decrementReferenceCount(store); in ~StoreRef()272 mgr.decrementReferenceCount(store);
67 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()414 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
479 void decrementReferenceCount(Store store) override { in decrementReferenceCount() function in __anonc04f3a860511::RegionStoreManager