Searched refs:getLemmaClauseName (Results 1 – 4 of 4) sorted by relevance
40 os << ProofManager::getLemmaClauseName(id, satProof->getName()); in clauseName()
703 os << "( \\ " << pm->getLemmaClauseName(id) <<"\n"; in printTheoryLemmas()822 os << "( \\ " << pm->getLemmaClauseName(id) << "s" << i <<"\n"; in printTheoryLemmas()837 os << pm->getLemmaClauseName(id) << "s" << i; in printTheoryLemmas()841 os << pm->getLemmaClauseName(id) << "s" << numberOfSteps - 1 << " "; in printTheoryLemmas()849 os << "( \\ " << pm->getLemmaClauseName(id) << "\n"; in printTheoryLemmas()
227 static std::string getLemmaClauseName(ClauseId id, const std::string& prefix = "");
188 std::string ProofManager::getLemmaClauseName(ClauseId id, in getLemmaClauseName() function in CVC4::ProofManager