Bug fix for tuner timeout

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

diff --git a/src/Tuner/multituner.h b/src/Tuner/multituner.h
index 73201dd0ade136f3b764fd413d9990767ce603d2..85b028bc930b3e137eb586ba6ea5975239af8674 100644 (file)
--- a/src/Tuner/multituner.h
+++ b/src/Tuner/multituner.h
@@ -7,13 +7,16 @@
 
 class Problem {
 public:
-       Problem(const char *problem);
+       Problem(const char *problem, uint timeout);
        char *getProblem() {return problem;}
        ~Problem();
        CMEMALLOC;
 private:
+       int problemnumber;
        int result;
        char *problem;
+        double besttime;
+        uint timeout;
        friend class MultiTuner;
 };
 
@@ -40,6 +43,8 @@ public:
        ~MultiTuner();
        void addProblem(const char *filename);
        void addTuner(SearchTuner *tuner);
+       void readData(uint numRuns);
+        void updateTimeout(Problem *problem, long long metric);
        void tuneK();
        void tuneComp();
        void printData();