Searched refs:CL_BACK_DEMOD (Results 1 – 3 of 3) sorted by relevance
295 CL_BACK_DEMOD, enumerator
1132 Stats[CL_BACK_DEMOD]++; in back_demod()
1228 fprintf(fp, "clauses back demodulated %7ld\n", Stats[CL_BACK_DEMOD]); in print_stats()