Searched refs:getArrayProof (Results 1 – 3 of 3) sorted by relevance
195 static ArrayProof* getArrayProof();
81 toStreamLFSC(out, ProofManager::getArrayProof(), *d_proof, map); in toStream()1053 out << ProofManager::getArrayProof()->skolemToLiteral(t3.toExpr()); in toStreamRecLFSC()
127 ArrayProof* ProofManager::getArrayProof() { in getArrayProof() function in CVC4::ProofManager