Lines Matching defs:NewState

178   uint64_t NewState;
277       uint64_t NewState = T.transitionFrom(State);
278       if (SeenStates.emplace(NewState).second)
279         Worklist.emplace_back(NewState);
281       Emitter.addTransition(State, NewState, Actions.idFor(T.getActions()));
309   BitsInit *NewStateInit = R->getValueAsBitsInit("NewState");
310   NewState = 0;
316         NewState |= 1ULL << I;
342   if ((State & NewState) == 0)
348 uint64_t Transition::transitionFrom(uint64_t State) { return State | NewState; }