Lines Matching full:nextbranch
298 int nextbranch; /* the next transition to explore in that state */3129 exec->rollbacks[exec->nbRollbacks].nextbranch = exec->transno + 1;3158 exec->transno = exec->rollbacks[exec->nbRollbacks].nextbranch;
