Adding the new tunable to the print function

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

diff --git a/src/Tuner/tunable.cc b/src/Tuner/tunable.cc
index eeba3a29de8ef4b46e4071dd47ef5e0b20f64bd5..9d45407a21c2b0dba44409e368fe29ebac298f3a 100644 (file)
--- a/src/Tuner/tunable.cc
+++ b/src/Tuner/tunable.cc
@@ -14,3 +14,44 @@ int DefaultTuner::getVarTunable(VarType vartype, TunableParam param, TunableDesc
 int DefaultTuner::getVarTunable(VarType vartype1, VarType vartype2, TunableParam param, TunableDesc *descriptor) {
        return descriptor->defaultValue;
 }
+
+const char *tunableParameterToString(Tunables tunable) {
+       switch (tunable) {
+       case DECOMPOSEORDER:
+               return "DECOMPOSEORDER";
+       case MUSTREACHGLOBAL:
+               return "MUSTREACHGLOBAL";
+       case MUSTREACHLOCAL:
+               return "MUSTREACHLOCAL";
+       case MUSTREACHPRUNE:
+               return "MUSTREACHPRUNE";
+       case OPTIMIZEORDERSTRUCTURE:
+               return "OPTIMIZEORDERSTRUCTURE";
+       case ORDERINTEGERENCODING:
+               return "ORDERINTEGERENCODING";
+       case PREPROCESS:
+               return "PREPROCESS";
+       case NODEENCODING:
+               return "NODEENCODING";
+       case EDGEENCODING:
+               return "EDGEENCODING";
+       case MUSTEDGEPRUNE:
+               return "MUSTEDGEPRUNE";
+       case ELEMENTOPT:
+               return "ELEMENTOPT";
+       case ELEMENTOPTSETS:
+               return "ELEMENTOPTSETS";
+       case PROXYVARIABLE:
+               return "PROXYVARIABLE";
+       case ENCODINGGRAPHOPT:
+               return "ENCODINGGRAPHOPT";
+       case NAIVEENCODER:
+               return "NAIVEENCODER";
+       case MUSTVALUE:
+               return "MUSTVALUE";
+       case VARIABLEORDER:
+               return "VARIABLEORDER";
+       default:
+               ASSERT(0);
+       }
+}