Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h193 static UFProof* getUfProof();
H A Duf_proof.cpp37 toStreamLFSC(out, ProofManager::getUfProof(), *d_proof, map); in toStream()
H A Dproof_manager.cpp114 UFProof* ProofManager::getUfProof() { in getUfProof() function in CVC4::ProofManager