d63efc9e3e248fb44d2b2f7a4f5b23e80887957f
[satune.git] / src / Test / serializetuner.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         SearchTuner *elem_bin = new SearchTuner();
8         SearchTuner *elem_onehot = new SearchTuner();
9         SearchTuner *elem_unary = new SearchTuner();
10         elem_bin->setTunable(NAIVEENCODER, &NaiveEncodingDesc, BINARYINDEX);
11         elem_onehot->setTunable(NAIVEENCODER, &NaiveEncodingDesc, ONEHOT);
12         elem_unary->setTunable(NAIVEENCODER, &NaiveEncodingDesc, UNARY);
13
14         elem_bin->serialize("binarytuner.conf");
15         elem_onehot->serialize("onehottuner.conf");
16         elem_unary->serialize("unarytuner.conf");
17         elem_bin->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
18         elem_onehot->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
19         elem_unary->setTunable(ENCODINGGRAPHOPT, &onoff, 1);
20         elem_bin->serialize("circuitbinarytuner.conf");
21         elem_onehot->serialize("circuitgraphonehottuner.conf");
22         elem_unary->serialize("circuitgraphunarytuner.conf");
23         delete elem_bin;
24         delete elem_onehot;
25         delete elem_unary;
26 }