Lines Matching refs:nd
219 int nd;
1125 if (trans->nd != 0) {
1126 if (trans->nd == 2)
1421 state->trans[state->nbTrans].nd = 0;
2618 /* t1->nd = 1; */
2627 t1->nd = 1;
2676 /* t1->nd = 1; */
2735 t1->nd = 1;
2736 t2->nd = 1;
2752 t1->nd = 1;
2753 /* t2->nd = 1; */
2770 last->nd = 2;
3381 if ((trans->nd == 1) ||
3385 if (trans->nd == 1)
3386 printf("Saving on nd transition atom %d for %c at %d\n",