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