Searched refs:getUfProof (Results 1 – 3 of 3) sorted by relevance
193 static UFProof* getUfProof();
37 toStreamLFSC(out, ProofManager::getUfProof(), *d_proof, map); in toStream()
114 UFProof* ProofManager::getUfProof() { in getUfProof() function in CVC4::ProofManager