Searched refs:iterBindings (Results 1 – 5 of 5) sorted by relevance
233 virtual void iterBindings(Store store, BindingsHandler& f) = 0;
537 void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) { in iterBindings() function538 StoreMgr->iterBindings(state->getStore(), F); in iterBindings()
217 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
2233 StateMgr.iterBindings(St, FB); in GetAllocationSite()
583 void iterBindings(Store store, BindingsHandler& f) override { in iterBindings() function in __anonb42afb010511::RegionStoreManager