Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h195 static ArrayProof* getArrayProof();
H A Darray_proof.cpp81 toStreamLFSC(out, ProofManager::getArrayProof(), *d_proof, map); in toStream()
1053 out << ProofManager::getArrayProof()->skolemToLiteral(t3.toExpr()); in toStreamRecLFSC()
H A Dproof_manager.cpp127 ArrayProof* ProofManager::getArrayProof() { in getArrayProof() function in CVC4::ProofManager