From d997064088a8dfed20940cfce53dbefac4c0be77 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 7 Nov 2014 20:43:53 -0500 Subject: [PATCH] Remove some unused variables. --- src/theory/bv/bv_quick_check.cpp | 6 +++--- src/theory/bv/bv_quick_check.h | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp index 5c67bb3cb..9d22a3edf 100644 --- a/src/theory/bv/bv_quick_check.cpp +++ b/src/theory/bv/bv_quick_check.cpp @@ -150,9 +150,9 @@ QuickXPlain::QuickXPlain(const std::string& name, BVQuickCheck* solver, unsigned , d_numCalled(0) , d_minRatioSum(0) , d_numConflicts(0) - , d_period(20) - , d_thresh(0.7) - , d_hardThresh(0.9) + // , d_period(20) + // , d_thresh(0.7) + // , d_hardThresh(0.9) , d_statistics(name) {} QuickXPlain::~QuickXPlain() {} diff --git a/src/theory/bv/bv_quick_check.h b/src/theory/bv/bv_quick_check.h index 61d6baf83..8a36e6b34 100644 --- a/src/theory/bv/bv_quick_check.h +++ b/src/theory/bv/bv_quick_check.h @@ -127,10 +127,10 @@ class QuickXPlain { unsigned d_numCalled; // number of times called double d_minRatioSum; // sum of minimization ratio for computing average min ratio unsigned d_numConflicts; // number of conflicts (including when minimization not applied) - unsigned d_period; // after how many conflicts to try minimizing again + // unsigned d_period; // after how many conflicts to try minimizing again - double d_thresh; // if minimization ratio is less, increase period - double d_hardThresh; // decrease period if minimization ratio is greater than this + // double d_thresh; // if minimization ratio is less, increase period + // double d_hardThresh; // decrease period if minimization ratio is greater than this Statistics d_statistics; -- 2.30.2