Lines Matching refs:nbTrans
225 int nbTrans;
561 for (j = 0;j < state->nbTrans;j++) {
1151 fprintf(output, "%d, %d transitions:\n", state->no, state->nbTrans);
1152 for (i = 0;i < state->nbTrans; i++) {
1357 for (nrtrans = state->nbTrans - 1; nrtrans >= 0; nrtrans--) {
1380 } else if (state->nbTrans >= state->maxTrans) {
1406 state->trans[state->nbTrans].atom = atom;
1407 state->trans[state->nbTrans].to = target->no;
1408 state->trans[state->nbTrans].counter = counter;
1409 state->trans[state->nbTrans].count = count;
1410 state->trans[state->nbTrans].nd = 0;
1411 state->nbTrans++;
1781 for (transnr = 0;transnr < to->nbTrans;transnr++) {
1852 if (state->nbTrans != 1)
1876 for (j = 0;j < tmp->nbTrans;j++) {
1893 state->nbTrans = 0;
1945 if ((state->nbTrans == 0) &&
1949 for (transnr = 0;transnr < state->nbTrans;transnr++) {
1988 for (transnr = 0;transnr < state->nbTrans;transnr++) {
2016 for (transnr = 0;transnr < state->nbTrans;transnr++) {
2562 int transnr, nbTrans;
2571 nbTrans = state->nbTrans;
2572 for (transnr = 0;transnr < nbTrans;transnr++) {
2629 if (state->nbTrans < 2)
2631 for (transnr = 0;transnr < state->nbTrans;transnr++) {
2665 if (state->nbTrans < 2)
2668 for (transnr = 0;transnr < state->nbTrans;transnr++) {
3183 if (exec->transno < exec->state->nbTrans) {
3195 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3258 if (exec->state->nbTrans > exec->transno + 1) {
3336 (exec->state->nbTrans > exec->transno + 1))) {
3391 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
3776 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3799 for (i = 0;i < exec->state->nbTrans;i++) {
3834 for (i = 0;i < exec->state->nbTrans;i++) {
3887 if (exec->state->nbTrans > exec->transno + 1) {
3954 if (exec->state->nbTrans > exec->transno + 1) {
4023 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
4228 (transno < state->nbTrans) && (nb < maxval);
4272 (transno < state->nbTrans) && (nb < maxval);
4395 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
4429 if (exec->state->nbTrans > exec->transno + 1) {
4481 if (exec->state->nbTrans > exec->transno + 1) {
4513 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {