Searched refs:traceDeps (Results 1 – 3 of 3) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | proof_manager.h | 260 void traceDeps(TNode n, ExprSet* coreAssertions);
261 void traceDeps(TNode n, CDExprSet* coreAssertions);
|
| H A D | proof_manager.cpp | 268 void ProofManager::traceDeps(TNode n, ExprSet* coreAssertions) { in traceDeps() function in CVC4::ProofManager
292 traceDeps(*i, coreAssertions); in traceDeps()
298 void ProofManager::traceDeps(TNode n, CDExprSet* coreAssertions) { in traceDeps() function in CVC4::ProofManager
323 traceDeps(*i, coreAssertions); in traceDeps()
351 traceDeps(node, &d_outputCoreFormulas); in traceUnsatCore()
777 ProofManager::currentPM()->traceDeps(*it, &inputAssertions); in printPreprocessedAssertions()
|
| /dports/lang/nim/nim-1.6.2/compiler/ |
| H A D | docgen.nim | 1031 proc traceDeps(d: PDoc, it: PNode) =
1042 traceDeps(d, a)
1171 for it in n: traceDeps(d, it)
1180 of nkFromStmt, nkImportExceptStmt: traceDeps(d, n[0])
|