Home
last modified time | relevance | path

Searched refs:getLemmaClauseName (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dlfsc_proof_printer.cpp40 os << ProofManager::getLemmaClauseName(id, satProof->getName()); in clauseName()
H A Dtheory_proof.cpp703 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()
H A Dproof_manager.h227 static std::string getLemmaClauseName(ClauseId id, const std::string& prefix = "");
H A Dproof_manager.cpp188 std::string ProofManager::getLemmaClauseName(ClauseId id, in getLemmaClauseName() function in CVC4::ProofManager