Searched defs:traceDeps (Results 1 – 1 of 1) sorted by relevance
268 void ProofManager::traceDeps(TNode n, ExprSet* coreAssertions) { in traceDeps() function in CVC4::ProofManager298 void ProofManager::traceDeps(TNode n, CDExprSet* coreAssertions) { in traceDeps() function in CVC4::ProofManager