Lines Matching refs:NewState
200 uint64_t NewState;
299 uint64_t NewState = T.transitionFrom(State);
300 if (SeenStates.emplace(NewState).second)
301 Worklist.emplace_back(NewState);
303 Emitter.addTransition(State, NewState, Actions.idFor(T.getActions()));
330 BitsInit *NewStateInit = R->getValueAsBitsInit("NewState");
331 NewState = 0;
337 NewState |= 1ULL << I;
364 if ((State & NewState) == 0)
371 return State | NewState;