Searched refs:toStreamLFSC (Results 1 – 6 of 6) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | uf_proof.h | 41 static void toStreamLFSC(std::ostream& out, TheoryProof* tp,
|
H A D | arith_proof.h | 40 static void toStreamLFSC(std::ostream& out, TheoryProof* tp,
|
H A D | array_proof.h | 45 void toStreamLFSC(std::ostream& out,
|
H A D | uf_proof.cpp | 37 toStreamLFSC(out, ProofManager::getUfProof(), *d_proof, map); in toStream() 40 void ProofUF::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofUF
|
H A D | arith_proof.cpp | 79 toStreamLFSC(out, ProofManager::getArithProof(), *d_proof, map); in toStream() 82 void ProofArith::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofArith
|
H A D | array_proof.cpp | 81 toStreamLFSC(out, ProofManager::getArrayProof(), *d_proof, map); in toStream() 85 void ProofArray::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofArray
|