+ elem_bin->setTunable(PREPROCESS, &onoff, 1);
+ elem_bin->setTunable(DECOMPOSEORDER, &onoff, 1);
+ elem_bin->setTunable(ORDERINTEGERENCODING, &offon, 0);
+ elem_bin->setTunable(ELEMENTOPT, &onoff, 1);
+ elem_bin->setTunable(ELEMENTOPTSETS, &onoff, 1);
+ elem_bin->setTunable(ENCODINGGRAPHOPT, &offon, 0);
+ elem_bin->setTunable(NODEENCODING, &NodeEncodingDesc, ELEM_UNASSIGNED);
+ elem_bin->setTunable(VARIABLEORDER, &boolVarOrderingDesc, REVERSEORDERING);
+ elem_bin->setTunable(PROXYVARIABLE, &proxyparameter, 2);
+ elem_bin->setTunable(MUSTREACHGLOBAL, &onoff, 1);
+ elem_bin->setTunable(MUSTREACHLOCAL, &onoff, 1);
+ elem_bin->setTunable(MUSTREACHPRUNE, &onoff, 1);
+ elem_bin->setTunable(MUSTEDGEPRUNE, &onoff, 1);
+ elem_bin->setTunable(OPTIMIZEORDERSTRUCTURE, &onoff, 1);
+ elem_bin->setTunable(MUSTVALUE, &mustValueBinaryIndex, 3);
+