Searched defs:printTermDeclarations (Results 1 – 5 of 5) sorted by relevance
680 void LFSCUFProof::printTermDeclarations(std::ostream& os, std::ostream& paren) { in printTermDeclarations() function in CVC4::LFSCUFProof
360 void BitVectorProof::printTermDeclarations(std::ostream& os, in printTermDeclarations() function in CVC4::proof::BitVectorProof
1167 void LFSCArithProof::printTermDeclarations(std::ostream& os, std::ostream& paren) { in printTermDeclarations() function in CVC4::LFSCArithProof
1238 void LFSCArrayProof::printTermDeclarations(std::ostream& os, std::ostream& paren) { in printTermDeclarations() function in CVC4::LFSCArrayProof
420 void LFSCTheoryProofEngine::printTermDeclarations(std::ostream& os, std::ostream& paren) { in printTermDeclarations() function in CVC4::LFSCTheoryProofEngine1242 void LFSCBooleanProof::printTermDeclarations(std::ostream& os, std::ostream& paren) { in printTermDeclarations() function in CVC4::LFSCBooleanProof