X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fautotuner.h;h=ed276ee253963cfc95cd28470cb411dec85c756c;hp=d9fb430388a377a470dda9fe187790572b3996f1;hb=9eb16333c26996a97567f88d0f2e62e72eb9a9e6;hpb=d46ee65a6767e2016cab629220a60c3e39b366f1

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index d9fb430..ed276ee 100644
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -3,6 +3,9 @@
 #include "classlist.h"
 #include "structs.h"
 
+#define AUTOTUNERFACTOR 0.3
+
+
 class AutoTuner {
 public:
 	AutoTuner(uint budget);
@@ -13,8 +16,11 @@ 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