Searched refs:getArithProof (Results 1 – 3 of 3) sorted by relevance
196 static ArithProof* getArithProof();
133 ArithProof* ProofManager::getArithProof() { in getArithProof() function in CVC4::ProofManager
79 toStreamLFSC(out, ProofManager::getArithProof(), *d_proof, map); in toStream()