Searched refs:coreAssertions (Results 1 – 2 of 2) sorted by relevance
260 void traceDeps(TNode n, ExprSet* coreAssertions);261 void traceDeps(TNode n, CDExprSet* coreAssertions);
268 void ProofManager::traceDeps(TNode n, ExprSet* coreAssertions) { in traceDeps() argument277 coreAssertions->insert(n.toExpr()); in traceDeps()292 traceDeps(*i, coreAssertions); in traceDeps()298 void ProofManager::traceDeps(TNode n, CDExprSet* coreAssertions) { in traceDeps() argument307 coreAssertions->insert(n.toExpr()); in traceDeps()323 traceDeps(*i, coreAssertions); in traceDeps()