1)Making naiveencoder and encoding graph use tuner 2)Adding timeout to the sat solver...
[satune.git] / src / Tuner / tunable.cc
1 #include "tunable.h"
2
3 DefaultTuner::DefaultTuner() {
4 }
5
6 int DefaultTuner::getTunable(TunableParam param, TunableDesc *descriptor) {
7         return descriptor->defaultValue;
8 }
9
10 int DefaultTuner::getVarTunable(VarType vartype, TunableParam param, TunableDesc *descriptor) {
11         return descriptor->defaultValue;
12 }
13
14 int DefaultTuner::getVarTunable(VarType vartype1, VarType vartype2, TunableParam param, TunableDesc *descriptor) {
15         return descriptor->defaultValue;
16 }
17
18 const char* tunableParameterToString(Tunables tunable){
19         switch(tunable){
20                 case DECOMPOSEORDER:
21                         return "DECOMPOSEORDER";
22                 case MUSTREACHGLOBAL:
23                         return "MUSTREACHGLOBAL";
24                 case MUSTREACHLOCAL:
25                         return "MUSTREACHLOCAL";
26                 case MUSTREACHPRUNE:
27                         return "MUSTREACHPRUNE";
28                 case OPTIMIZEORDERSTRUCTURE:
29                         return "OPTIMIZEORDERSTRUCTURE";
30                 case ORDERINTEGERENCODING:
31                         return "ORDERINTEGERENCODING";
32                 case PREPROCESS:
33                         return "PREPROCESS";
34                 case NODEENCODING:
35                         return "NODEENCODING";
36                 case EDGEENCODING:
37                         return "EDGEENCODING";
38                 case MUSTEDGEPRUNE:
39                         return "MUSTEDGEPRUNE";
40                 case ELEMENTOPT: 
41                         return "ELEMENTOPT";
42                 case ELEMENTOPTSETS:
43                         return "ELEMENTOPTSETS";
44                 case PROXYVARIABLE:
45                         return "PROXYVARIABLE";
46                 case ENCODINGGRAPHOPT:
47                         return "ENCODINGGRAPHOPT";
48                 case NAIVEENCODER:
49                         return "NAIVEENCODER";
50                 default:
51                         ASSERT(0);
52         }
53 }