8271008cb74ad4c2ceb560a56a56c49ad564c142
[satune.git] / src / Tuner / autotuner.h
1 #ifndef AUTOTUNER_H
2 #define AUTOTUNER_H
3 #include "classlist.h"
4 #include "structs.h"
5
6 #define AUTOTUNERFACTOR 0.3
7
8
9 class AutoTuner {
10 public:
11         AutoTuner(uint budget);
12         void addProblem(CSolver *solver);
13         virtual void tune();
14         CMEMALLOC;
15 protected:
16         long long evaluate(CSolver *problem, SearchTuner *tuner);
17         double evaluateAll(SearchTuner *tuner);
18         SearchTuner *mutateTuner(SearchTuner *oldTuner, uint k);
19         Vector<CSolver *> solvers;
20         uint budget;
21         int result;
22 };
23 #endif