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