Searched refs:DUMP_CLOSURE_PROOF (Results 1 – 7 of 7) sorted by relevance
117 DUMP_CLOSURE_PROOF, enumerator
560 em.newKind(DUMP_CLOSURE_PROOF, "_DUMP_CLOSURE_PROOF"); in registerKinds()
845 case DUMP_CLOSURE_PROOF: { in evaluateCommand()
2264 d_translator->dump(d_em->newLeafExpr(DUMP_CLOSURE_PROOF), true); in getProofClosure()
1506 - <tt>DUMP_CLOSURE_PROOF</tt> -- dump the proof of the closure of the last1606 necessarily the best way to check the proofs. See DUMP_CLOSURE_PROOF.1610 DUMP_CLOSURE_PROOF1617 independent of the logical context, and <tt>DUMP_CLOSURE_PROOF</tt>
645 case DUMP_CLOSURE_PROOF: in isBasicKind()813 kinds.push_back(DUMP_CLOSURE_PROOF); in TheoryCore()
75 DUMP_CLOSURE_PROOF_TOK = 'DUMP_CLOSURE_PROOF';