-BasicTuner *createTuner(uint tunertype, uint budget, uint rounds, uint timeout){
- switch(tunertype){
- case 1: return new RandomTuner(budget, timeout);
- case 2: return new CompTuner(budget, timeout);
- case 3: return new KMeansTuner(budget, rounds, timeout);
- case 4: return new SATuner(budget, timeout);
- default:
- printf("Tuner type %u is unknown\n", tunertype);
- printKnownTunerTypes();
- exit(-1);
+BasicTuner *createTuner(uint tunertype, uint budget, uint rounds, uint timeout) {
+ switch (tunertype) {
+ case 1: return new RandomTuner(budget, timeout);
+ case 2: return new CompTuner(budget, timeout);
+ case 3: return new KMeansTuner(budget, rounds, timeout);
+ case 4: return new SATuner(budget, timeout);
+ default:
+ printf("Tuner type %u is unknown\n", tunertype);
+ printKnownTunerTypes();
+ exit(-1);