Fix tabbing

[satune.git] / src / Tuner / randomtuner.cc

diff --git a/src/Tuner/randomtuner.cc b/src/Tuner/randomtuner.cc
index 6fefc465fe1f0150618e3348b0d1779582f76359..04b5e7c188ba8dec73df6da1fcf11307b680613f 100644 (file)
--- a/src/Tuner/randomtuner.cc
+++ b/src/Tuner/randomtuner.cc
@@ -8,24 +8,24 @@
 
 #define UNSETVALUE -1
 
-RandomTuner::RandomTuner(uint _budget, uint _timeout) : 
+RandomTuner::RandomTuner(uint _budget, uint _timeout) :
        BasicTuner(_budget, _timeout) {
 }
 
-RandomTuner::~RandomTuner(){
-       
+RandomTuner::~RandomTuner() {
+
 }
 
 void RandomTuner::tune() {
        for (uint r = 0; r < budget; r++) {
                model_print("Round %u of %u\n", r, budget);
-               for (uint i = 0; i < tuners.getSize(); i++){
+               for (uint i = 0; i < tuners.getSize(); i++) {
                        TunerRecord *tuner = tuners.get(i);
                        bool isNew = true;
-                       for (uint j = 0; j < problems.getSize(); j++){
+                       for (uint j = 0; j < problems.getSize(); j++) {
                                Problem *problem = problems.get(j);
                                long long metric = tuner->getTime(problem);
-                               if(metric == -1){
+                               if (metric == -1) {
                                        metric = evaluate(problem, tuner);
                                        ASSERT(tuner->getTime(problem) == -1);
                                        tuner->addProblem(problem);
@@ -34,7 +34,7 @@ void RandomTuner::tune() {
                                                tuner->setTime(problem, metric);
                                        else
                                                tuner->setTime(problem, -2);
-                                       if(tunerExists(tuner)){
+                                       if (tunerExists(tuner)) {
                                                //Solving the problem and noticing the tuner
                                                //already exists
                                                isNew = false;
@@ -42,15 +42,15 @@ void RandomTuner::tune() {
                                        }
                                }
                        }
-                       if(isNew){
+                       if (isNew) {
                                explored.push(tuner);
                        }
-                       
+
                }
                uint tSize = tuners.getSize();
                for (uint i = 0; i < tSize; i++) {
                        SearchTuner *tmpTuner = mutateTuner(tuners.get(i)->getTuner(), budget);
-                       while(subTunerIndex(tmpTuner) != -1){
+                       while (subTunerIndex(tmpTuner) != -1) {
                                tmpTuner->randomMutate();
                        }
                        TunerRecord *tmp = new TunerRecord(tmpTuner);
@@ -61,5 +61,5 @@ void RandomTuner::tune() {
                }
        }
        printData();
-       
+
 }