Preprocess bug fix
[satune.git] / src / Tuner / autotuner.h
index 0b565410f9fa90003254bce3f9f907aae7ce0f1f..e9c7b40d608258ede13ddfbca78270deb393c536 100644 (file)
@@ -3,13 +3,22 @@
 #include "classlist.h"
 #include "structs.h"
 
+#define AUTOTUNERFACTOR 0.3
+
+
 class AutoTuner {
- public:
-       AutoTuner();
+public:
+       AutoTuner(uint budget);
+       virtual ~AutoTuner();
        void addProblem(CSolver *solver);
-       void tune();
-       MEMALLOC;
- private:
+       virtual void tune();
+       CMEMALLOC;
+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