Lines Matching defs:NewState

175   uint64_t NewState;
274       uint64_t NewState = T.transitionFrom(State);
275       if (SeenStates.emplace(NewState).second)
276         Worklist.emplace_back(NewState);
278       Emitter.addTransition(State, NewState, Actions.idFor(T.getActions()));
306   const BitsInit *NewStateInit = R->getValueAsBitsInit("NewState");
307   NewState = 0;
313         NewState |= 1ULL << I;
339   if ((State & NewState) == 0)
345 uint64_t Transition::transitionFrom(uint64_t State) { return State | NewState; }