Searched refs:getStoreManagerCreator (Results 1 – 2 of 2) sorted by relevance
68 StoreManagerCreator getStoreManagerCreator() { in getStoreManagerCreator() function
79 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()