Home
last modified time | relevance | path

Searched refs:REALLY_DELETE_CLAUSES (Results 1 – 4 of 4) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcos.h106 REALLY_DELETE_CLAUSES, /* delete back demod and back_subed cls */ enumerator
H A Dprocess.c170 if (Flags[REALLY_DELETE_CLAUSES].val) in post_proc_all()
700 if (!Flags[REALLY_DELETE_CLAUSES].val) { in pre_process()
H A Doptions.c184 Flags[REALLY_DELETE_CLAUSES].name = "really_delete_clauses"; in init_options()
185 Flags[REALLY_DELETE_CLAUSES].val = 0; in init_options()
H A Dcase.c570 if (Flags[REALLY_DELETE_CLAUSES].val) { in prover_forks()