Searched refs:getInputFormulaName (Results 1 – 3 of 3) sorted by relevance
227 std::string ProofManager::getInputFormulaName(const Expr& expr) { in getInputFormulaName() function in CVC4::ProofManager809 << ProofManager::currentPM()->getInputFormulaName(inputAssertion) in printPreprocessedAssertions()823 rewritten << ProofManager::currentPM()->getInputFormulaName(inputAssertion); in printPreprocessedAssertions()861 << ProofManager::currentPM()->getInputFormulaName((*rewrite).toExpr()) in checkUnrewrittenAssertion()864 ProofManager::currentPM()->getInputFormulaName((*rewrite).toExpr())); in checkUnrewrittenAssertion()
232 static std::string getInputFormulaName(const Expr& expr);
361 os << "(% " << ProofManager::currentPM()->getInputFormulaName(*it) << " (th_holds "; in printAssertions()