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 72d4c2b136195c49be2dfc77de923893fe4f393c..ed276ee253963cfc95cd28470cb411dec85c756c 100644 (file)
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -16,7 +16,9 @@ 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;