}
const char* tunableParameterToString(Tunables tunable){
- switch(tunable){
+ switch(tunable){
case DECOMPOSEORDER:
return "DECOMPOSEORDER";
case MUSTREACHGLOBAL:
return "ELEMENTOPTSETS";
case PROXYVARIABLE:
return "PROXYVARIABLE";
+ case ENCODINGGRAPHOPT:
+ return "ENCODINGGRAPHOPT";
+ case NAIVEENCODER:
+ return "NAIVEENCODER";
+ case MUSTVALUE:
+ return "MUSTVALUE";
default:
ASSERT(0);
}
-}
\ No newline at end of file
+}