Lines Matching refs:nd
216 int nd;
1121 if (trans->nd != 0) {
1122 if (trans->nd == 2)
1417 state->trans[state->nbTrans].nd = 0;
2610 /* t1->nd = 1; */
2619 t1->nd = 1;
2668 /* t1->nd = 1; */
2727 t1->nd = 1;
2728 t2->nd = 1;
2744 t1->nd = 1;
2745 /* t2->nd = 1; */
2762 last->nd = 2;
3373 if ((trans->nd == 1) ||
3377 if (trans->nd == 1)
3378 printf("Saving on nd transition atom %d for %c at %d\n",