Lines Matching full:nbitfct
888 static int nbitfct[3];
1009 nbitfct[i] = 1;
1014 ++nbitfct[i];
1017 total_bits += nbitfct[i];
1018 // printf ("%d fct[%d], %d bits\n", nfct_names[i], i, nbitfct[i]);
1128 fprintf (outfile, "#define FCT%d_BITS %d\n", i + 1, nbitfct[i]);
