Lines Matching defs:nd
209 int nd;
1031 if (trans->nd != 0) {
1032 if (trans->nd == 2)
1327 state->trans[state->nbTrans].nd = 0;
2433 /* t1->nd = 1; */
2442 t1->nd = 1;
2487 /* t1->nd = 1; */
2537 t1->nd = 1;
2538 t2->nd = 1;
2554 t1->nd = 1;
2555 /* t2->nd = 1; */
2572 last->nd = 2;
3171 if ((trans->nd == 1) ||
3175 if (trans->nd == 1)
3176 printf("Saving on nd transition atom %d for %c at %d\n",