Adding a directed search based config for the tuner

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

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index ca27f407a8abac968c3cff1be271af62114be92a..ed276ee253963cfc95cd28470cb411dec85c756c 100644 (file)
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -1,12 +1,26 @@
 #ifndef AUTOTUNER_H
 #define AUTOTUNER_H
 #include "classlist.h"
+#include "structs.h"
+
+#define AUTOTUNERFACTOR 0.3
+
 
 class AutoTuner {
- public:
-       AutoTuner();
-       void tune(CSolver *solver);
-       MEMALLOC;
- private:
+public:
+       AutoTuner(uint budget);
+       void addProblem(CSolver *solver);
+       void tune();
+       CMEMALLOC;
+private:
+       long long evaluate(CSolver *problem, SearchTuner *tuner);
+       double evaluateAll(SearchTuner *tuner);
+       SearchTuner *mutateTuner(SearchTuner *oldTuner, uint k);
+#ifdef STATICENCGEN
+       SearchTuner *mutateTuner(SearchTuner *oldTuner);
+#endif
+       Vector<CSolver *> solvers;
+       uint budget;
+       int result;
 };
 #endif