Move static tuner into its own class

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

diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
index ed276ee253963cfc95cd28470cb411dec85c756c..8271008cb74ad4c2ceb560a56a56c49ad564c142 100644 (file)
--- a/src/Tuner/autotuner.h
+++ b/src/Tuner/autotuner.h
@@ -10,15 +10,12 @@ class AutoTuner {
 public:
        AutoTuner(uint budget);
        void addProblem(CSolver *solver);
-       void tune();
+       virtual void tune();
        CMEMALLOC;
-private:
+protected:
        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;