Generally it is good not to have redundant information which introduces new consisten...

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

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