Adoptive timeout ...

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

diff --git a/src/Tuner/multituner.h b/src/Tuner/multituner.h
index 1c654eb3cf7c1ea748eb73ca0be129b5283bc7ae..f566828d86a72f5b282ab0b1ca07528df1e0b5c3 100644 (file)
--- a/src/Tuner/multituner.h
+++ b/src/Tuner/multituner.h
@@ -42,6 +42,7 @@ public:
        void addProblem(const char *filename);
        void addTuner(SearchTuner *tuner);
        void readData(uint numRuns);
+        void updateTimeout(long long metric);
        void tuneK();
        void tuneComp();
        void printData();
@@ -60,6 +61,7 @@ protected:
        uint budget;
        uint rounds;
        uint timeout;
+       double besttime;
        int execnum;
 };
 #endif