Searched defs:newState (Results 1 – 3 of 3) sorted by relevance
116 ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(), in bindLoc() local195 ProgramStateRef newState = makeWithStore(newStore); in invalidateRegionsImpl() local390 ProgramState *newState = nullptr; in getPersistentState() local
140 if (ProgramStateRef newState = state->assume(*Constraint, true)) in getInitialState() local
241 const State &DFA::newState() { in newState() function in DFA