Preprocess bug fix
[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         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("circuitonehottuner.conf");
22         elem_unary->serialize("circuitunarytuner.conf");
23         delete elem_bin;
24         delete elem_onehot;
25         delete elem_unary;
26 }