From f5486884229348516ac26300273e4f5458a74208 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 11 Feb 2021 20:00:18 +0100 Subject: Add InferenceId member to TheoryInference, adapt all derived classes. (#5894) This PR adds a new InferenceId member to the TheoryInference class. All classes derived from TheoryInference are adapted accordingly. --- src/theory/arith/inference_manager.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/theory/arith/inference_manager.cpp') diff --git a/src/theory/arith/inference_manager.cpp b/src/theory/arith/inference_manager.cpp index 6a1f898d3..aa0aa4f2a 100644 --- a/src/theory/arith/inference_manager.cpp +++ b/src/theory/arith/inference_manager.cpp @@ -32,7 +32,7 @@ InferenceManager::InferenceManager(TheoryArith& ta, void InferenceManager::addPendingArithLemma(std::unique_ptr lemma, bool isWaiting) { - Trace("arith::infman") << "Add " << lemma->d_inference << " " << lemma->d_node + Trace("arith::infman") << "Add " << lemma->getId() << " " << lemma->d_node << (isWaiting ? " as waiting" : "") << std::endl; if (hasCachedLemma(lemma->d_node, lemma->d_property)) { @@ -81,7 +81,7 @@ void InferenceManager::flushWaitingLemmas() for (auto& lem : d_waitingLem) { Trace("arith::infman") << "Flush waiting lemma to pending: " - << lem->d_inference << " " << lem->d_node + << lem->getId() << " " << lem->d_node << std::endl; d_pendingLem.emplace_back(std::move(lem)); } -- cgit v1.2.3