Searched refs:addCoreAssertion (Results 1 – 3 of 3) sorted by relevance
254 void addCoreAssertion(Expr formula);
515 void ProofManager::addCoreAssertion(Expr formula) { in addCoreAssertion() function in CVC4::ProofManager
3552 ProofManager::currentPM()->addCoreAssertion(n.toExpr()); in addFormula()