Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h92 PRINT_BACK_SUB, /* print back subsumed clauses */ enumerator
H A Doptions.c112 Flags[PRINT_BACK_SUB].name = "print_back_sub"; in init_options()
113 Flags[PRINT_BACK_SUB].val = 1; in init_options()
796 auto_change_flag(fp, PRINT_BACK_SUB, 0); in dependent_flags()
809 auto_change_flag(fp, PRINT_BACK_SUB, 0); in dependent_flags()
H A Dprocess.c94 if (Flags[PRINT_BACK_SUB].val || input) in post_process()