Home
last modified time | relevance | path

Searched refs:coreAssertions (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h260 void traceDeps(TNode n, ExprSet* coreAssertions);
261 void traceDeps(TNode n, CDExprSet* coreAssertions);
H A Dproof_manager.cpp268 void ProofManager::traceDeps(TNode n, ExprSet* coreAssertions) { in traceDeps() argument
277 coreAssertions->insert(n.toExpr()); in traceDeps()
292 traceDeps(*i, coreAssertions); in traceDeps()
298 void ProofManager::traceDeps(TNode n, CDExprSet* coreAssertions) { in traceDeps() argument
307 coreAssertions->insert(n.toExpr()); in traceDeps()
323 traceDeps(*i, coreAssertions); in traceDeps()