Lines Matching refs:nbTrans
218 int nbTrans;
554 for (j = 0;j < state->nbTrans;j++) {
1068 fprintf(output, "%d, %d transitions:\n", state->no, state->nbTrans);
1069 for (i = 0;i < state->nbTrans; i++) {
1274 for (nrtrans = state->nbTrans - 1; nrtrans >= 0; nrtrans--) {
1297 } else if (state->nbTrans >= state->maxTrans) {
1323 state->trans[state->nbTrans].atom = atom;
1324 state->trans[state->nbTrans].to = target->no;
1325 state->trans[state->nbTrans].counter = counter;
1326 state->trans[state->nbTrans].count = count;
1327 state->trans[state->nbTrans].nd = 0;
1328 state->nbTrans++;
1639 for (transnr = 0;transnr < to->nbTrans;transnr++) {
1710 if (state->nbTrans != 1)
1732 for (j = 0;j < tmp->nbTrans;j++) {
1747 for (j = 0;j < tmp->nbTrans;j++) {
1761 state->nbTrans = 0;
1795 if ((state->nbTrans == 0) &&
1799 for (transnr = 0;transnr < state->nbTrans;transnr++) {
1837 for (transnr = 0;transnr < state->nbTrans;transnr++) {
1865 for (transnr = 0;transnr < state->nbTrans;transnr++) {
2411 int transnr, nbTrans;
2420 nbTrans = state->nbTrans;
2421 for (transnr = 0;transnr < nbTrans;transnr++) {
2478 if (state->nbTrans < 2)
2480 for (transnr = 0;transnr < state->nbTrans;transnr++) {
2514 if (state->nbTrans < 2)
2517 for (transnr = 0;transnr < state->nbTrans;transnr++) {
3030 if (exec->transno < exec->state->nbTrans) {
3042 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3095 if (exec->state->nbTrans > exec->transno + 1) {
3173 (exec->state->nbTrans > exec->transno + 1))) {
3220 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
3605 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
3628 for (i = 0;i < exec->state->nbTrans;i++) {
3663 for (i = 0;i < exec->state->nbTrans;i++) {
3716 if (exec->state->nbTrans > exec->transno + 1) {
3783 if (exec->state->nbTrans > exec->transno + 1) {
3852 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {
4057 (transno < state->nbTrans) && (nb < maxval);
4101 (transno < state->nbTrans) && (nb < maxval);
4224 for (;exec->transno < exec->state->nbTrans;exec->transno++) {
4258 if (exec->state->nbTrans > exec->transno + 1) {
4310 if (exec->state->nbTrans > exec->transno + 1) {
4342 if ((exec->transno != 0) || (exec->state->nbTrans == 0)) {