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);
}