Home
last modified time | relevance | path

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

/dports/misc/otter/otter-3.3f/source/
H A Doptions.c295 Flags[BUILD_PROOF_OBJECT_1].name = "build_proof_object_1"; in init_options()
296 Flags[BUILD_PROOF_OBJECT_1].val = 0; in init_options()
820 case BUILD_PROOF_OBJECT_1: in dependent_flags()
826 auto_change_flag(fp, BUILD_PROOF_OBJECT_1, 1); in dependent_flags()
838 auto_change_flag(fp, BUILD_PROOF_OBJECT_1, 1); in dependent_flags()
H A Dcos.h88 BUILD_PROOF_OBJECT_1, /* build proof to be checked elsewhere */ enumerator
H A Dresolve.c257 (Flags[BUILD_PROOF_OBJECT_1].val || in clash()
270 if (Flags[BUILD_PROOF_OBJECT_1].val || in clash()
H A Dmisc.c2067 if (Flags[BUILD_PROOF_OBJECT_1].val || Flags[BUILD_PROOF_OBJECT_2].val) in check_for_proof()
2086 if (Flags[BUILD_PROOF_OBJECT_1].val || Flags[BUILD_PROOF_OBJECT_2].val) in check_for_proof()