Lines Matching full:nbitfct
2493 static int nbitfct[3];
2614 nbitfct[i] = 1;
2619 ++nbitfct[i];
2622 total_bits += nbitfct[i];
2623 // printf ("%d fct[%d], %d bits\n", nfct_names[i], i, nbitfct[i]);
2733 fprintf (outfile, "#define FCT%d_BITS %d\n", i + 1, nbitfct[i]);
