X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Fserializestatictuner.cc;fp=src%2FTest%2Fserializestatictuner.cc;h=0813706aa17902ad3c67c92ae7be9309d11e7b5e;hb=01973b2ca4c423b12000741f3080fea08a261e91;hp=3a314e0ad65f43dc71b26eb65898d93b275aca26;hpb=13bcf208287f4f848748639bef6b4c1eea82a03f;p=satune.git

diff --git a/src/Test/serializestatictuner.cc b/src/Test/serializestatictuner.cc
index 3a314e0..0813706 100644
--- a/src/Test/serializestatictuner.cc
+++ b/src/Test/serializestatictuner.cc
@@ -9,9 +9,24 @@ int main(int argc, char **argv) {
 		SearchTuner *elem_onehot = new SearchTuner();
 		SearchTuner *elem_unary = new SearchTuner();
 		elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
+		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);
+
 		elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
 		elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
-
 		elem_bin->serialize("binarytuner.conf");
 		elem_onehot->serialize("onehottuner.conf");
 		elem_unary->serialize("unarytuner.conf");
@@ -58,6 +73,19 @@ int main(int argc, char **argv) {
 		elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
 		elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
 		elem_bin->setTunable(ORDERINTEGERENCODING, &offon, 1);
+                elem_bin->setTunable(PREPROCESS, &onoff, 1);
+                elem_bin->setTunable(DECOMPOSEORDER, &onoff, 1);
+                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_onehot->setTunable(ORDERINTEGERENCODING, &offon, 1);
 		elem_unary->setTunable(ORDERINTEGERENCODING, &offon, 1);