Home
last modified time | relevance | path

Searched refs:HOT_GENERATED (Results 1 – 3 of 3) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h315 HOT_GENERATED, enumerator
H A Dprocess.c594 Stats[HOT_GENERATED]++; in pre_process()
H A Dmisc.c1189 fprintf(fp, " (hot clauses generated)%7ld\n", Stats[HOT_GENERATED]); in print_stats()
1272 fprintf(fp, " (hot clauses generated)%7ld\n", Stats[HOT_GENERATED]); in print_stats_brief()