Searched refs:getInputClauseName (Results 1 – 5 of 5) sorted by relevance
36 os << ProofManager::getInputClauseName(id, satProof->getName()); in clauseName()156 << ProofManager::getInputClauseName(*i, namingPrefix) << " "; in printSatInputProof()169 << ProofManager::getInputClauseName(clauses[i], namingPrefix) << " "; in printCMapProof()
226 static std::string getInputClauseName(ClauseId id, const std::string& prefix = "");
852 << " (\\ " << ProofManager::getInputClauseName(id, d_name) << "\n"; in printCnfProofForClause()
183 std::string ProofManager::getInputClauseName(ClauseId id, in getInputClauseName() function in CVC4::ProofManager
380 o << ProofManager::getInputClauseName(d_inputClauseIds[i - 1], "bb"); in writeIdForClauseProof()