Home
last modified time | relevance | path

Searched refs:toStreamLFSC (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Duf_proof.h41 static void toStreamLFSC(std::ostream& out, TheoryProof* tp,
H A Darith_proof.h40 static void toStreamLFSC(std::ostream& out, TheoryProof* tp,
H A Darray_proof.h45 void toStreamLFSC(std::ostream& out,
H A Duf_proof.cpp37 toStreamLFSC(out, ProofManager::getUfProof(), *d_proof, map); in toStream()
40 void ProofUF::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofUF
H A Darith_proof.cpp79 toStreamLFSC(out, ProofManager::getArithProof(), *d_proof, map); in toStream()
82 void ProofArith::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofArith
H A Darray_proof.cpp81 toStreamLFSC(out, ProofManager::getArrayProof(), *d_proof, map); in toStream()
85 void ProofArray::toStreamLFSC(std::ostream& out, in toStreamLFSC() function in CVC4::ProofArray