diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 20:43:53 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 20:43:53 -0500 |
| commit | d997064088a8dfed20940cfce53dbefac4c0be77 (patch) | |
| tree | 1ca3c6abd64c122e490824b86d260ddc70de1044 /src/theory/bv/bv_quick_check.h | |
| parent | e5de3b175640a5592b668dd18496be5a29405c5b (diff) | |
Remove some unused variables.
Diffstat (limited to 'src/theory/bv/bv_quick_check.h')
| -rw-r--r-- | src/theory/bv/bv_quick_check.h | 6 |
1 files changed, 3 insertions, 3 deletions
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; |