Home
last modified time | relevance | path

Searched refs:addCoreAssertion (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h254 void addCoreAssertion(Expr formula);
H A Dproof_manager.cpp515 void ProofManager::addCoreAssertion(Expr formula) { in addCoreAssertion() function in CVC4::ProofManager
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp3552 ProofManager::currentPM()->addCoreAssertion(n.toExpr()); in addFormula()