edits
[satune.git] / src / Tuner / multituner.h
1 #ifndef MULTITUNER_H
2 #define MULTITUNER_H
3 #include "classlist.h"
4 #include "structs.h"
5
6 #define AUTOTUNERFACTOR 0.3
7
8 class Problem {
9 public:
10         Problem(const char *problem);
11         char *getProblem() {return problem;}
12         ~Problem();
13         CMEMALLOC;
14 private:
15         int result;
16         char *problem;
17         friend class MultiTuner;
18 };
19
20 class TunerRecord {
21 public:
22         TunerRecord(SearchTuner *_tuner) : tuner(_tuner) {}
23         SearchTuner *getTuner() {return tuner;}
24         TunerRecord *changeTuner(SearchTuner *_newtuner);
25         long long getTime(Problem *problem);
26         void setTime(Problem *problem, long long time);
27 private:
28         SearchTuner *tuner;
29         Vector<Problem *> problems;
30         Hashtable<Problem *, long long, uint64_t> timetaken;
31         friend class MultiTuner;
32         friend void clearVector(Vector<TunerRecord *> *tunerV);
33 };
34
35 class MultiTuner {
36 public:
37         MultiTuner(uint budget, uint rounds, uint timeout);
38         ~MultiTuner();
39         void addProblem(const char *filename);
40         void addTuner(SearchTuner *tuner);
41         void tuneK();
42         CMEMALLOC;
43 protected:
44         long long evaluate(Problem *problem, SearchTuner *tuner);
45         double evaluateAll(TunerRecord *tuner);
46         SearchTuner *mutateTuner(SearchTuner *oldTuner, uint k);
47         void mapProblemsToTuners(Vector<TunerRecord *> *tunerV);
48         void improveTuners(Vector<TunerRecord *> *tunerV);
49         TunerRecord *tune(TunerRecord *tuner);
50         void tuneComp();
51
52         Vector<TunerRecord *> allTuners;
53         Vector<Problem *> problems;
54         Vector<TunerRecord *> tuners;
55         uint budget;
56         uint rounds;
57         uint timeout;
58         int execnum;
59 };
60 #endif