Fixing silent bug for not finding the tuner

[satune.git] / src / Tuner / autotuner.h

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index d9fb430388a377a470dda9fe187790572b3996f1..e9c7b40d608258ede13ddfbca78270deb393c536 100644 (file)
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -3,18 +3,22 @@
 #include "classlist.h"
 #include "structs.h"
 
+#define AUTOTUNERFACTOR 0.3
+
+
 class AutoTuner {
 public:
        AutoTuner(uint budget);
+       virtual ~AutoTuner();
        void addProblem(CSolver *solver);
-       void tune();
+       virtual void tune();
        CMEMALLOC;
-private:
+protected:
        long long evaluate(CSolver *problem, SearchTuner *tuner);
        double evaluateAll(SearchTuner *tuner);
        SearchTuner *mutateTuner(SearchTuner *oldTuner, uint k);
-
        Vector<CSolver *> solvers;
        uint budget;
+       int result;
 };
 #endif