Adding a directed search based config for the tuner

[satune.git] / src / Tuner / tunable.cc

diff --git a/src/Tuner/tunable.cc b/src/Tuner/tunable.cc
index a06d0f1290b888bcb0a167b86a2961a2c7ec1f21..115e04eb645fe1942f2c6a5b227615ccf11d23eb 100644 (file)
--- a/src/Tuner/tunable.cc
+++ b/src/Tuner/tunable.cc
@@ -16,7 +16,7 @@ int DefaultTuner::getVarTunable(VarType vartype1, VarType vartype2, TunableParam
 }
 
 const char* tunableParameterToString(Tunables tunable){
-        switch(tunable){
+       switch(tunable){
                 case DECOMPOSEORDER:
                         return "DECOMPOSEORDER";
                 case MUSTREACHGLOBAL:
@@ -43,6 +43,12 @@ const char* tunableParameterToString(Tunables tunable){
                        return "ELEMENTOPTSETS";
                case PROXYVARIABLE:
                        return "PROXYVARIABLE";
+               case ENCODINGGRAPHOPT:
+                       return "ENCODINGGRAPHOPT";
+               case NAIVEENCODER:
+                       return "NAIVEENCODER";
+               case MUSTVALUE:
+                       return "MUSTVALUE";
                 default:
                         ASSERT(0);
         }