Bug fix for mustHaveValue tuning parameter

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

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index 2490d564c71f721e8bd9972f2e58f2e3c3c06179..72d4c2b136195c49be2dfc77de923893fe4f393c 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:
+public:
        AutoTuner(uint budget);
        void addProblem(CSolver *solver);
        void tune();
-       MEMALLOC;
- private:
+       CMEMALLOC;
+private:
        long long evaluate(CSolver *problem, SearchTuner *tuner);
        double evaluateAll(SearchTuner *tuner);
-       SearchTuner * mutateTuner(SearchTuner * oldTuner, uint k);
+       SearchTuner *mutateTuner(SearchTuner *oldTuner, uint k);
 
-       Vector<CSolver *> solvers;      
+       Vector<CSolver *> solvers;
        uint budget;
+       int result;
 };
 #endif