Adding a directed search based config for the tuner
[satune.git] / src / Tuner / searchtuner.h
index 0aabb6465affbc8b116b6271ef562efc7663f21e..612f60e174f826b239911d817428d458fb92a223 100644 (file)
@@ -15,7 +15,7 @@ public:
        TunableSetting(TunableSetting *ts);
        void setDecision(int _low, int _high, int _default, int _selection);
        void print();
-        friend std::ostream& operator<< (std::ostream& stream, const TunableSetting& matrix);
+       friend std ::ostream &operator<< (std::ostream &stream, const TunableSetting &matrix);
        CMEMALLOC;
 private:
        bool hasVar;
@@ -49,8 +49,8 @@ public:
        uint getSize() { return usedSettings.getSize();}
        void print();
        void printUsed();
-        void serialize();
-        
+       void serialize();
+
        CMEMALLOC;
 private:
        /** Used Settings keeps track of settings that were actually used by
@@ -59,6 +59,12 @@ private:
        HashsetTunableSetting usedSettings;
        /** Settings contains all settings. */
        HashsetTunableSetting settings;
+#ifdef STATICENCGEN
+        bool graphEncoding;
+        ElementEncodingType naiveEncoding;
+public:
+        int nextStaticTuner();
+#endif
 };