Lines Matching defs:nd
216 int nd;
1114 if (trans->nd != 0) {
1115 if (trans->nd == 2)
1410 state->trans[state->nbTrans].nd = 0;
2563 /* t1->nd = 1; */
2572 t1->nd = 1;
2617 /* t1->nd = 1; */
2667 t1->nd = 1;
2668 t2->nd = 1;
2684 t1->nd = 1;
2685 /* t2->nd = 1; */
2702 last->nd = 2;
3312 if ((trans->nd == 1) ||
3316 if (trans->nd == 1)
3317 printf("Saving on nd transition atom %d for %c at %d\n",