Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h317 FACTOR_SIMPLIFICATIONS, enumerator
H A Dprocess.c421 Stats[FACTOR_SIMPLIFICATIONS] += i; in proc_gen()
H A Dmisc.c1221 fprintf(fp, "factor simplifications %7ld\n", Stats[FACTOR_SIMPLIFICATIONS]); in print_stats()