3a314e0ad65f43dc71b26eb65898d93b275aca26
[satune.git] / src / Test / serializestatictuner.cc
1 #include "csolver.h"
2 #include "searchtuner.h"
3 #include "tunable.h"
4 #include <stdlib.h>
5
6 int main(int argc, char **argv) {
7         {
8                 SearchTuner *elem_bin = new SearchTuner();
9                 SearchTuner *elem_onehot = new SearchTuner();
10                 SearchTuner *elem_unary = new SearchTuner();
11                 elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
12                 elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
13                 elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
14
15                 elem_bin->serialize("binarytuner.conf");
16                 elem_onehot->serialize("onehottuner.conf");
17                 elem_unary->serialize("unarytuner.conf");
18                 elem_bin->setTunable(ENCODINGGRAPHOPT, &offon, 1);
19                 elem_onehot->setTunable(ENCODINGGRAPHOPT, &offon, 1);
20                 elem_unary->setTunable(ENCODINGGRAPHOPT, &offon, 1);
21                 elem_bin->serialize("circuitbinarytuner.conf");
22                 elem_onehot->serialize("circuitonehottuner.conf");
23                 elem_unary->serialize("circuitunarytuner.conf");
24                 elem_bin->setTunable(DECOMPOSEORDER, &onoff, 0);
25                 elem_onehot->setTunable(DECOMPOSEORDER, &onoff, 0);
26                 elem_unary->setTunable(DECOMPOSEORDER, &onoff, 0);
27                 elem_bin->serialize("circuitbinarytunernodecompose.conf");
28                 elem_onehot->serialize("circuitonehottunernodecompose.conf");
29                 elem_unary->serialize("circuitunarytunernodecompose.conf");
30                 delete elem_bin;
31                 delete elem_onehot;
32                 delete elem_unary;
33         }
34         {
35                 SearchTuner *elem_bin = new SearchTuner();
36                 SearchTuner *elem_onehot = new SearchTuner();
37                 SearchTuner *elem_unary = new SearchTuner();
38                 elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
39                 elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
40                 elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
41                 elem_bin->setTunable(DECOMPOSEORDER, &onoff, 0);
42                 elem_onehot->setTunable(DECOMPOSEORDER, &onoff, 0);
43                 elem_unary->setTunable(DECOMPOSEORDER, &onoff, 0);
44                 elem_bin->serialize("binarytunernodecompose.conf");
45                 elem_onehot->serialize("onehottunernodecompose.conf");
46                 elem_unary->serialize("unarytunernodecompose.conf");
47                 delete elem_bin;
48                 delete elem_onehot;
49                 delete elem_unary;
50         }
51
52
53         {
54                 SearchTuner *elem_bin = new SearchTuner();
55                 SearchTuner *elem_onehot = new SearchTuner();
56                 SearchTuner *elem_unary = new SearchTuner();
57                 elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
58                 elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
59                 elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
60                 elem_bin->setTunable(ORDERINTEGERENCODING, &offon, 1);
61                 elem_onehot->setTunable(ORDERINTEGERENCODING, &offon, 1);
62                 elem_unary->setTunable(ORDERINTEGERENCODING, &offon, 1);
63
64                 elem_bin->serialize("binarytunerint.conf");
65                 elem_onehot->serialize("onehottunerint.conf");
66                 elem_unary->serialize("unarytunerint.conf");
67                 elem_bin->setTunable(ENCODINGGRAPHOPT, &offon, 1);
68                 elem_onehot->setTunable(ENCODINGGRAPHOPT, &offon, 1);
69                 elem_unary->setTunable(ENCODINGGRAPHOPT, &offon, 1);
70                 elem_bin->serialize("circuitbinarytunerint.conf");
71                 elem_onehot->serialize("circuitonehottunerint.conf");
72                 elem_unary->serialize("circuitunarytunerint.conf");
73                 elem_bin->setTunable(DECOMPOSEORDER, &onoff, 0);
74                 elem_onehot->setTunable(DECOMPOSEORDER, &onoff, 0);
75                 elem_unary->setTunable(DECOMPOSEORDER, &onoff, 0);
76                 elem_bin->serialize("circuitbinarytunernodecomposeint.conf");
77                 elem_onehot->serialize("circuitonehottunernodecomposeint.conf");
78                 elem_unary->serialize("circuitunarytunernodecomposeint.conf");
79                 delete elem_bin;
80                 delete elem_onehot;
81                 delete elem_unary;
82         }
83         {
84                 SearchTuner *elem_bin = new SearchTuner();
85                 SearchTuner *elem_onehot = new SearchTuner();
86                 SearchTuner *elem_unary = new SearchTuner();
87                 elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
88                 elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
89                 elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
90                 elem_bin->setTunable(ORDERINTEGERENCODING, &offon, 1);
91                 elem_onehot->setTunable(ORDERINTEGERENCODING, &offon, 1);
92                 elem_unary->setTunable(ORDERINTEGERENCODING, &offon, 1);
93                 elem_bin->setTunable(DECOMPOSEORDER, &onoff, 0);
94                 elem_onehot->setTunable(DECOMPOSEORDER, &onoff, 0);
95                 elem_unary->setTunable(DECOMPOSEORDER, &onoff, 0);
96                 elem_bin->serialize("binarytunernodecomposeint.conf");
97                 elem_onehot->serialize("onehottunernodecomposeint.conf");
98                 elem_unary->serialize("unarytunernodecomposeint.conf");
99                 delete elem_bin;
100                 delete elem_onehot;
101                 delete elem_unary;
102         }
103 }