-class Problem {
-public:
- Problem(const char *problem);
- char *getProblem() {return problem;}
- ~Problem();
- CMEMALLOC;
-private:
- int problemnumber;
- int result;
- char *problem;
- friend class MultiTuner;
-};
-
-class TunerRecord {
-public:
- TunerRecord(SearchTuner *_tuner) : tuner(_tuner), tunernumber(-1) {}
- SearchTuner *getTuner() {return tuner;}
- TunerRecord *changeTuner(SearchTuner *_newtuner);
- void updateTuner(SearchTuner *_newtuner) {tuner = _newtuner;}
- long long getTime(Problem *problem);
- void setTime(Problem *problem, long long time);
-private:
- SearchTuner *tuner;
- Vector<Problem *> problems;
- Hashtable<Problem *, long long, uint64_t> timetaken;
- int tunernumber;
- friend class MultiTuner;
- friend void clearVector(Vector<TunerRecord *> *tunerV);
-};
-
-class MultiTuner {