Searched defs:makeWithStore (Results 1 – 1 of 1) sorted by relevance
433 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { in makeWithStore() function in ProgramState439 ProgramStateRef ProgramState::makeWithStore(const BindResult &BindRes) const { in makeWithStore() function in ProgramState