Save all data generated by autotuner pass
[satune.git] / src / Tuner / multituner.h
index 8ee017001c45b937057ea4f91fbc08497b34ead8..73201dd0ade136f3b764fd413d9990767ce603d2 100644 (file)
@@ -19,7 +19,7 @@ private:
 
 class TunerRecord {
 public:
-       TunerRecord(SearchTuner *_tuner) : tuner(_tuner) {}
+       TunerRecord(SearchTuner *_tuner) : tuner(_tuner), tunernumber(-1) {}
        SearchTuner *getTuner() {return tuner;}
        TunerRecord *changeTuner(SearchTuner *_newtuner);
        void updateTuner(SearchTuner *_newtuner) {tuner = _newtuner;}
@@ -29,6 +29,7 @@ private:
        SearchTuner *tuner;
        Vector<Problem *> problems;
        Hashtable<Problem *, long long, uint64_t> timetaken;
+       int tunernumber;
        friend class MultiTuner;
        friend void clearVector(Vector<TunerRecord *> *tunerV);
 };