Adding the new tunable to the print function
[satune.git] / src / Tuner / tunable.cc
index 966cb0014226c9e009d6abb1aac1a68fcc07c28d..9d45407a21c2b0dba44409e368fe29ebac298f3a 100644 (file)
@@ -43,6 +43,14 @@ const char *tunableParameterToString(Tunables tunable) {
                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);
        }