Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h196 static ArithProof* getArithProof();
H A Dproof_manager.cpp133 ArithProof* ProofManager::getArithProof() { in getArithProof() function in CVC4::ProofManager
H A Darith_proof.cpp79 toStreamLFSC(out, ProofManager::getArithProof(), *d_proof, map); in toStream()