Lines Matching refs:transno

314     int transno;	/* the current transition on that state */
3063 printf("state: %d:%d:idx %d", exec->state->no, exec->transno, exec->index);
3081 exec->transno++;
3083 exec->transno--;
3121 exec->rollbacks[exec->nbRollbacks].nextbranch = exec->transno + 1;
3150 exec->transno = exec->rollbacks[exec->nbRollbacks].nextbranch;
3189 exec->transno = 0;
3222 if (exec->transno < exec->state->nbTrans) {
3223 trans = &exec->state->trans[exec->transno];
3234 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3235 trans = &exec->state->trans[exec->transno];
3297 if (exec->state->nbTrans > exec->transno + 1) {
3317 int transno = exec->transno;
3323 exec->transno = -1; /* trick */
3326 exec->transno = transno;
3375 (exec->state->nbTrans > exec->transno + 1))) {
3420 exec->transno = 0;
3430 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
3512 exec->transno = 0;
3815 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3816 trans = &exec->state->trans[exec->transno];
3926 if (exec->state->nbTrans > exec->transno + 1) {
3955 int transno = exec->transno;
3961 exec->transno = -1; /* trick */
3967 exec->transno = transno;
3993 if (exec->state->nbTrans > exec->transno + 1) {
4031 exec->transno = 0;
4062 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
4247 int transno;
4266 for (transno = 0;
4267 (transno < state->nbTrans) && (nb < maxval);
4268 transno++) {
4269 trans = &state->trans[transno];
4310 for (transno = 0;
4311 (transno < state->nbTrans) && (nb < maxval);
4312 transno++) {
4313 trans = &state->trans[transno];
4434 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
4435 trans = &exec->state->trans[exec->transno];
4468 if (exec->state->nbTrans > exec->transno + 1) {
4488 int transno = exec->transno;
4494 exec->transno = -1; /* trick */
4497 exec->transno = transno;
4520 if (exec->state->nbTrans > exec->transno + 1) {
4542 exec->transno = 0;
4552 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {