Searched defs:printSortDeclarations (Results 1 – 5 of 5) sorted by relevance
670 void LFSCUFProof::printSortDeclarations(std::ostream& os, std::ostream& paren) { in printSortDeclarations() function in CVC4::LFSCUFProof
354 void BitVectorProof::printSortDeclarations(std::ostream& os, in printSortDeclarations() function in CVC4::proof::BitVectorProof
1163 void LFSCArithProof::printSortDeclarations(std::ostream& os, std::ostream& paren) { in printSortDeclarations() function in CVC4::LFSCArithProof
1227 void LFSCArrayProof::printSortDeclarations(std::ostream& os, std::ostream& paren) { in printSortDeclarations() function in CVC4::LFSCArrayProof
408 void LFSCTheoryProofEngine::printSortDeclarations(std::ostream& os, std::ostream& paren) { in printSortDeclarations() function in CVC4::LFSCTheoryProofEngine1238 void LFSCBooleanProof::printSortDeclarations(std::ostream& os, std::ostream& paren) { in printSortDeclarations() function in CVC4::LFSCBooleanProof