Lines Matching refs:transno
310 int transno; /* the current transition on that state */
3003 printf("state: %d:%d:idx %d", exec->state->no, exec->transno, exec->index);
3021 exec->transno++;
3023 exec->transno--;
3061 exec->rollbacks[exec->nbRollbacks].nextbranch = exec->transno + 1;
3090 exec->transno = exec->rollbacks[exec->nbRollbacks].nextbranch;
3129 exec->transno = 0;
3161 if (exec->transno < exec->state->nbTrans) {
3162 trans = &exec->state->trans[exec->transno];
3173 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3174 trans = &exec->state->trans[exec->transno];
3236 if (exec->state->nbTrans > exec->transno + 1) {
3256 int transno = exec->transno;
3262 exec->transno = -1; /* trick */
3265 exec->transno = transno;
3314 (exec->state->nbTrans > exec->transno + 1))) {
3359 exec->transno = 0;
3369 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
3451 exec->transno = 0;
3754 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3755 trans = &exec->state->trans[exec->transno];
3865 if (exec->state->nbTrans > exec->transno + 1) {
3894 int transno = exec->transno;
3900 exec->transno = -1; /* trick */
3906 exec->transno = transno;
3932 if (exec->state->nbTrans > exec->transno + 1) {
3970 exec->transno = 0;
4001 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
4186 int transno;
4205 for (transno = 0;
4206 (transno < state->nbTrans) && (nb < maxval);
4207 transno++) {
4208 trans = &state->trans[transno];
4249 for (transno = 0;
4250 (transno < state->nbTrans) && (nb < maxval);
4251 transno++) {
4252 trans = &state->trans[transno];
4373 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
4374 trans = &exec->state->trans[exec->transno];
4407 if (exec->state->nbTrans > exec->transno + 1) {
4427 int transno = exec->transno;
4433 exec->transno = -1; /* trick */
4436 exec->transno = transno;
4459 if (exec->state->nbTrans > exec->transno + 1) {
4481 exec->transno = 0;
4491 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {