Searched refs:getStoreManagerCreator (Results 1 – 3 of 3) sorted by relevance
110 StoreManagerCreator getStoreManagerCreator() { in getStoreManagerCreator() function
794 OldMgr.getStoreManagerCreator(), in generateNode()
70 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()