Searched defs:NextState (Results 1 – 2 of 2) sorted by relevance
119 std::unique_ptr<VisitState> NextState; member
783 uint64_t NextState = TPath.getExitValue(); in isLegalAndProfitableToTransform() local938 uint64_t NextState = Path.getExitValue(); in createExitPath() local1181 uint64_t NextState = TPath.getExitValue(); in updateLastSuccessor() local