From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 8 Nov 2014 01:43:53 +0000 (-0500)
Subject: Remove some unused variables.
X-Git-Tag: cvc5-1.0.0~6512^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d997064088a8dfed20940cfce53dbefac4c0be77;p=cvc5.git

Remove some unused variables.
---

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;